FRINK Linked Data Fragments server

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

• W2163234015 abstract "We develop a compositional behavioural model that integrates a variation of probabilistic automata into a conservative extension of interactive Markov chains. The model is rich enough to embody the semantics of generalised stochastic Petri nets. We define strong and weak bisimulations and discuss their compositionality properties. Weak bisimulation is partly oblivious to the probabilistic branching structure, in order to reflect some natural equalities in this spectrum of models. As a result, the standard way to associate a stochastic process to a generalised stochastic Petri net can be proven sound with respect to weak bisimulation." @default.
• W2163234015 created "2016-06-24" @default.
• W2163234015 creator A5028747794 @default.
• W2163234015 creator A5040982144 @default.
• W2163234015 creator A5081589298 @default.
• W2163234015 date "2010-07-01" @default.
• W2163234015 modified "2023-10-02" @default.
• W2163234015 title "On Probabilistic Automata in Continuous Time" @default.
• W2163234015 cites W1482758428 @default.
• W2163234015 cites W1507281497 @default.
• W2163234015 cites W1520708882 @default.
• W2163234015 cites W1927474651 @default.
• W2163234015 cites W2012095234 @default.
• W2163234015 cites W2047697249 @default.
• W2163234015 cites W2056928795 @default.
• W2163234015 cites W2079636926 @default.
• W2163234015 cites W2098737431 @default.
• W2163234015 cites W2109615829 @default.
• W2163234015 cites W2124232232 @default.
• W2163234015 cites W2125739093 @default.
• W2163234015 cites W2126748862 @default.
• W2163234015 cites W2133518376 @default.
• W2163234015 cites W2138756653 @default.
• W2163234015 cites W2142486837 @default.
• W2163234015 cites W2146049822 @default.
• W2163234015 cites W2152398409 @default.
• W2163234015 cites W2159651799 @default.
• W2163234015 cites W2163369706 @default.
• W2163234015 cites W2914292476 @default.
• W2163234015 cites W4248627364 @default.
• W2163234015 doi "https://doi.org/10.1109/lics.2010.41" @default.
• W2163234015 hasPublicationYear "2010" @default.
• W2163234015 type Work @default.
• W2163234015 sameAs 2163234015 @default.
• W2163234015 citedByCount "136" @default.
• W2163234015 countsByYear W21632340152012 @default.
• W2163234015 countsByYear W21632340152013 @default.
• W2163234015 countsByYear W21632340152014 @default.
• W2163234015 countsByYear W21632340152015 @default.
• W2163234015 countsByYear W21632340152016 @default.
• W2163234015 countsByYear W21632340152017 @default.
• W2163234015 countsByYear W21632340152018 @default.
• W2163234015 countsByYear W21632340152019 @default.
• W2163234015 countsByYear W21632340152020 @default.
• W2163234015 countsByYear W21632340152021 @default.
• W2163234015 countsByYear W21632340152022 @default.
• W2163234015 countsByYear W21632340152023 @default.
• W2163234015 crossrefType "proceedings-article" @default.
• W2163234015 hasAuthorship W2163234015A5028747794 @default.
• W2163234015 hasAuthorship W2163234015A5040982144 @default.
• W2163234015 hasAuthorship W2163234015A5081589298 @default.
• W2163234015 hasBestOaLocation W21632340152 @default.
• W2163234015 hasConcept C105795698 @default.
• W2163234015 hasConcept C112505250 @default.
• W2163234015 hasConcept C11413529 @default.
• W2163234015 hasConcept C119857082 @default.
• W2163234015 hasConcept C121375916 @default.
• W2163234015 hasConcept C135315306 @default.
• W2163234015 hasConcept C154945302 @default.
• W2163234015 hasConcept C159886148 @default.
• W2163234015 hasConcept C161771561 @default.
• W2163234015 hasConcept C184337299 @default.
• W2163234015 hasConcept C197551870 @default.
• W2163234015 hasConcept C199360897 @default.
• W2163234015 hasConcept C24858836 @default.
• W2163234015 hasConcept C2780432614 @default.
• W2163234015 hasConcept C33923547 @default.
• W2163234015 hasConcept C38677869 @default.
• W2163234015 hasConcept C41008148 @default.
• W2163234015 hasConcept C49937458 @default.
• W2163234015 hasConcept C80444323 @default.
• W2163234015 hasConcept C98763669 @default.
• W2163234015 hasConceptScore W2163234015C105795698 @default.
• W2163234015 hasConceptScore W2163234015C112505250 @default.
• W2163234015 hasConceptScore W2163234015C11413529 @default.
• W2163234015 hasConceptScore W2163234015C119857082 @default.
• W2163234015 hasConceptScore W2163234015C121375916 @default.
• W2163234015 hasConceptScore W2163234015C135315306 @default.
• W2163234015 hasConceptScore W2163234015C154945302 @default.
• W2163234015 hasConceptScore W2163234015C159886148 @default.
• W2163234015 hasConceptScore W2163234015C161771561 @default.
• W2163234015 hasConceptScore W2163234015C184337299 @default.
• W2163234015 hasConceptScore W2163234015C197551870 @default.
• W2163234015 hasConceptScore W2163234015C199360897 @default.
• W2163234015 hasConceptScore W2163234015C24858836 @default.
• W2163234015 hasConceptScore W2163234015C2780432614 @default.
• W2163234015 hasConceptScore W2163234015C33923547 @default.
• W2163234015 hasConceptScore W2163234015C38677869 @default.
• W2163234015 hasConceptScore W2163234015C41008148 @default.
• W2163234015 hasConceptScore W2163234015C49937458 @default.
• W2163234015 hasConceptScore W2163234015C80444323 @default.
• W2163234015 hasConceptScore W2163234015C98763669 @default.
• W2163234015 hasLocation W21632340151 @default.
• W2163234015 hasLocation W21632340152 @default.
• W2163234015 hasOpenAccess W2163234015 @default.
• W2163234015 hasPrimaryLocation W21632340151 @default.
• W2163234015 hasRelatedWork W1498432056 @default.
• W2163234015 hasRelatedWork W1524501475 @default.
• W2163234015 hasRelatedWork W1536150964 @default.
• W2163234015 hasRelatedWork W1601878028 @default.

• next