Matches in SemOpenAlex for { <https://semopenalex.org/work/W2405128362> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2405128362 abstract "Weak bisimilarity is a distribution-based equivalence notion for Markov automata. It has gained some popularity as the coarsest reasonable behavioural equivalence on Markov automata. This paper studies a strictly coarser notion: Late weak bisimilarity enjoys valuable properties if restricting to important subclasses of schedulers: Trace distribution equivalence is implied for partial information schedulers, and compositionality is preserved by distributed schedulers. The intersection of the two scheduler classes thus spans a coarser and still reasonable compositional theory of Markov automata." @default.
- W2405128362 created "2016-06-24" @default.
- W2405128362 creator A5065045401 @default.
- W2405128362 creator A5081589298 @default.
- W2405128362 creator A5088128024 @default.
- W2405128362 date "2012-02-18" @default.
- W2405128362 modified "2023-09-23" @default.
- W2405128362 title "Late Weak Bisimulation for Markov Automata" @default.
- W2405128362 cites W1507380329 @default.
- W2405128362 cites W1828556947 @default.
- W2405128362 cites W1851152565 @default.
- W2405128362 cites W1971346686 @default.
- W2405128362 cites W2037507558 @default.
- W2405128362 cites W2075222142 @default.
- W2405128362 cites W2117429544 @default.
- W2405128362 cites W2138756653 @default.
- W2405128362 cites W2163234015 @default.
- W2405128362 cites W2168098347 @default.
- W2405128362 cites W40750098 @default.
- W2405128362 doi "https://doi.org/10.48550/arxiv.1202.4116" @default.
- W2405128362 hasPublicationYear "2012" @default.
- W2405128362 type Work @default.
- W2405128362 sameAs 2405128362 @default.
- W2405128362 citedByCount "7" @default.
- W2405128362 countsByYear W24051283622013 @default.
- W2405128362 countsByYear W24051283622014 @default.
- W2405128362 countsByYear W24051283622017 @default.
- W2405128362 countsByYear W24051283622019 @default.
- W2405128362 countsByYear W24051283622021 @default.
- W2405128362 crossrefType "posted-content" @default.
- W2405128362 hasAuthorship W2405128362A5065045401 @default.
- W2405128362 hasAuthorship W2405128362A5081589298 @default.
- W2405128362 hasAuthorship W2405128362A5088128024 @default.
- W2405128362 hasBestOaLocation W24051283621 @default.
- W2405128362 hasConcept C105795698 @default.
- W2405128362 hasConcept C112505250 @default.
- W2405128362 hasConcept C118615104 @default.
- W2405128362 hasConcept C119857082 @default.
- W2405128362 hasConcept C121375916 @default.
- W2405128362 hasConcept C127413603 @default.
- W2405128362 hasConcept C135315306 @default.
- W2405128362 hasConcept C146978453 @default.
- W2405128362 hasConcept C154945302 @default.
- W2405128362 hasConcept C159886148 @default.
- W2405128362 hasConcept C2780069185 @default.
- W2405128362 hasConcept C33923547 @default.
- W2405128362 hasConcept C41008148 @default.
- W2405128362 hasConcept C64543145 @default.
- W2405128362 hasConcept C80444323 @default.
- W2405128362 hasConcept C98763669 @default.
- W2405128362 hasConceptScore W2405128362C105795698 @default.
- W2405128362 hasConceptScore W2405128362C112505250 @default.
- W2405128362 hasConceptScore W2405128362C118615104 @default.
- W2405128362 hasConceptScore W2405128362C119857082 @default.
- W2405128362 hasConceptScore W2405128362C121375916 @default.
- W2405128362 hasConceptScore W2405128362C127413603 @default.
- W2405128362 hasConceptScore W2405128362C135315306 @default.
- W2405128362 hasConceptScore W2405128362C146978453 @default.
- W2405128362 hasConceptScore W2405128362C154945302 @default.
- W2405128362 hasConceptScore W2405128362C159886148 @default.
- W2405128362 hasConceptScore W2405128362C2780069185 @default.
- W2405128362 hasConceptScore W2405128362C33923547 @default.
- W2405128362 hasConceptScore W2405128362C41008148 @default.
- W2405128362 hasConceptScore W2405128362C64543145 @default.
- W2405128362 hasConceptScore W2405128362C80444323 @default.
- W2405128362 hasConceptScore W2405128362C98763669 @default.
- W2405128362 hasLocation W24051283621 @default.
- W2405128362 hasOpenAccess W2405128362 @default.
- W2405128362 hasPrimaryLocation W24051283621 @default.
- W2405128362 hasRelatedWork W1131208844 @default.
- W2405128362 hasRelatedWork W2040368499 @default.
- W2405128362 hasRelatedWork W2088892644 @default.
- W2405128362 hasRelatedWork W2160041484 @default.
- W2405128362 hasRelatedWork W2163234015 @default.
- W2405128362 hasRelatedWork W2273636077 @default.
- W2405128362 hasRelatedWork W2405128362 @default.
- W2405128362 hasRelatedWork W2660972524 @default.
- W2405128362 hasRelatedWork W2888328996 @default.
- W2405128362 hasRelatedWork W4205777715 @default.
- W2405128362 isParatext "false" @default.
- W2405128362 isRetracted "false" @default.
- W2405128362 magId "2405128362" @default.
- W2405128362 workType "article" @default.