FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3150554008> ?p ?o ?g. }

• W3150554008 endingPage "43" @default.
• W3150554008 startingPage "23" @default.
• W3150554008 abstract "Labeled state-to-function transition systems, FuTS for short, admit multiple transition schemes from states to functions of finite support over general semirings. As such they constitute a convenient modeling instrument to deal with stochastic process languages. In this paper, the notion of bisimulation induced by a FuTS is proposed and a correspondence result is proven stating that FuTS-bisimulation coincides with the behavioral equivalence of the associated functor. As generic examples, the concrete existing equivalences for the core of the process algebras ACP, PEPA and IMC are related to the bisimulation of specific FuTS, providing via the correspondence result coalgebraic justification of the equivalences of these calculi." @default.
• W3150554008 created "2021-04-13" @default.
• W3150554008 creator A5018760156 @default.
• W3150554008 creator A5049253314 @default.
• W3150554008 creator A5049483818 @default.
• W3150554008 date "2012-08-21" @default.
• W3150554008 modified "2023-10-02" @default.
• W3150554008 title "Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages" @default.
• W3150554008 cites W1482758428 @default.
• W3150554008 cites W1497762588 @default.
• W3150554008 cites W1507380329 @default.
• W3150554008 cites W1555534061 @default.
• W3150554008 cites W1597655219 @default.
• W3150554008 cites W1971383138 @default.
• W3150554008 cites W1982582912 @default.
• W3150554008 cites W2005080671 @default.
• W3150554008 cites W2014322972 @default.
• W3150554008 cites W2088189323 @default.
• W3150554008 cites W2099811898 @default.
• W3150554008 cites W2109142454 @default.
• W3150554008 cites W2123876422 @default.
• W3150554008 cites W2123887510 @default.
• W3150554008 cites W2130161981 @default.
• W3150554008 cites W2137865376 @default.
• W3150554008 cites W2137891929 @default.
• W3150554008 cites W2141823988 @default.
• W3150554008 cites W2156569015 @default.
• W3150554008 cites W2160136100 @default.
• W3150554008 cites W2284263109 @default.
• W3150554008 cites W4206542816 @default.
• W3150554008 cites W657718082 @default.
• W3150554008 doi "https://doi.org/10.4204/eptcs.93.2" @default.
• W3150554008 hasPublicationYear "2012" @default.
• W3150554008 type Work @default.
• W3150554008 sameAs 3150554008 @default.
• W3150554008 citedByCount "4" @default.
• W3150554008 countsByYear W31505540082013 @default.
• W3150554008 countsByYear W31505540082014 @default.
• W3150554008 countsByYear W31505540082015 @default.
• W3150554008 crossrefType "journal-article" @default.
• W3150554008 hasAuthorship W3150554008A5018760156 @default.
• W3150554008 hasAuthorship W3150554008A5049253314 @default.
• W3150554008 hasAuthorship W3150554008A5049483818 @default.
• W3150554008 hasBestOaLocation W31505540081 @default.
• W3150554008 hasConcept C104317684 @default.
• W3150554008 hasConcept C11413529 @default.
• W3150554008 hasConcept C118615104 @default.
• W3150554008 hasConcept C135315306 @default.
• W3150554008 hasConcept C136119220 @default.
• W3150554008 hasConcept C14036430 @default.
• W3150554008 hasConcept C156772000 @default.
• W3150554008 hasConcept C161771561 @default.
• W3150554008 hasConcept C185592680 @default.
• W3150554008 hasConcept C194232998 @default.
• W3150554008 hasConcept C199360897 @default.
• W3150554008 hasConcept C202444582 @default.
• W3150554008 hasConcept C2779167558 @default.
• W3150554008 hasConcept C2780069185 @default.
• W3150554008 hasConcept C33923547 @default.
• W3150554008 hasConcept C41008148 @default.
• W3150554008 hasConcept C48103436 @default.
• W3150554008 hasConcept C55493867 @default.
• W3150554008 hasConcept C78458016 @default.
• W3150554008 hasConcept C80444323 @default.
• W3150554008 hasConcept C86803240 @default.
• W3150554008 hasConcept C98045186 @default.
• W3150554008 hasConceptScore W3150554008C104317684 @default.
• W3150554008 hasConceptScore W3150554008C11413529 @default.
• W3150554008 hasConceptScore W3150554008C118615104 @default.
• W3150554008 hasConceptScore W3150554008C135315306 @default.
• W3150554008 hasConceptScore W3150554008C136119220 @default.
• W3150554008 hasConceptScore W3150554008C14036430 @default.
• W3150554008 hasConceptScore W3150554008C156772000 @default.
• W3150554008 hasConceptScore W3150554008C161771561 @default.
• W3150554008 hasConceptScore W3150554008C185592680 @default.
• W3150554008 hasConceptScore W3150554008C194232998 @default.
• W3150554008 hasConceptScore W3150554008C199360897 @default.
• W3150554008 hasConceptScore W3150554008C202444582 @default.
• W3150554008 hasConceptScore W3150554008C2779167558 @default.
• W3150554008 hasConceptScore W3150554008C2780069185 @default.
• W3150554008 hasConceptScore W3150554008C33923547 @default.
• W3150554008 hasConceptScore W3150554008C41008148 @default.
• W3150554008 hasConceptScore W3150554008C48103436 @default.
• W3150554008 hasConceptScore W3150554008C55493867 @default.
• W3150554008 hasConceptScore W3150554008C78458016 @default.
• W3150554008 hasConceptScore W3150554008C80444323 @default.
• W3150554008 hasConceptScore W3150554008C86803240 @default.
• W3150554008 hasConceptScore W3150554008C98045186 @default.
• W3150554008 hasLocation W31505540081 @default.
• W3150554008 hasLocation W31505540082 @default.
• W3150554008 hasLocation W31505540083 @default.
• W3150554008 hasLocation W31505540084 @default.
• W3150554008 hasLocation W31505540085 @default.
• W3150554008 hasOpenAccess W3150554008 @default.
• W3150554008 hasPrimaryLocation W31505540081 @default.
• W3150554008 hasRelatedWork W1543496272 @default.
• W3150554008 hasRelatedWork W1608609850 @default.
• W3150554008 hasRelatedWork W1951729275 @default.

• next