Matches in SemOpenAlex for { <https://semopenalex.org/work/W2950597877> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W2950597877 abstract "This paper develops a decision algorithm for weak bisimulation on Markov Automata (MA). For that purpose, different notions of vanishing state (a concept known from the area of Generalised Stochastic Petri Nets) are defined. Vanishing states are shown to be essential for relating the concepts of (state-based) naive weak bisimulation and (distribution-based) weak bisimulation. The bisimulation algorithm presented here follows the partition-refinement scheme and has exponential time complexity." @default.
- W2950597877 created "2019-06-27" @default.
- W2950597877 creator A5048017742 @default.
- W2950597877 creator A5086985679 @default.
- W2950597877 date "2012-05-28" @default.
- W2950597877 modified "2023-10-07" @default.
- W2950597877 title "Markov Automata: Deciding Weak Bisimulation by means of non-naively Vanishing States" @default.
- W2950597877 cites W138290785 @default.
- W2950597877 cites W1489359924 @default.
- W2950597877 cites W1507380329 @default.
- W2950597877 cites W2037507558 @default.
- W2950597877 cites W2045605706 @default.
- W2950597877 cites W2101036453 @default.
- W2950597877 cites W2163234015 @default.
- W2950597877 cites W2294647483 @default.
- W2950597877 hasPublicationYear "2012" @default.
- W2950597877 type Work @default.
- W2950597877 sameAs 2950597877 @default.
- W2950597877 citedByCount "0" @default.
- W2950597877 crossrefType "posted-content" @default.
- W2950597877 hasAuthorship W2950597877A5048017742 @default.
- W2950597877 hasAuthorship W2950597877A5086985679 @default.
- W2950597877 hasConcept C112505250 @default.
- W2950597877 hasConcept C11413529 @default.
- W2950597877 hasConcept C114614502 @default.
- W2950597877 hasConcept C118615104 @default.
- W2950597877 hasConcept C135315306 @default.
- W2950597877 hasConcept C33923547 @default.
- W2950597877 hasConcept C41008148 @default.
- W2950597877 hasConcept C42812 @default.
- W2950597877 hasConcept C80444323 @default.
- W2950597877 hasConceptScore W2950597877C112505250 @default.
- W2950597877 hasConceptScore W2950597877C11413529 @default.
- W2950597877 hasConceptScore W2950597877C114614502 @default.
- W2950597877 hasConceptScore W2950597877C118615104 @default.
- W2950597877 hasConceptScore W2950597877C135315306 @default.
- W2950597877 hasConceptScore W2950597877C33923547 @default.
- W2950597877 hasConceptScore W2950597877C41008148 @default.
- W2950597877 hasConceptScore W2950597877C42812 @default.
- W2950597877 hasConceptScore W2950597877C80444323 @default.
- W2950597877 hasOpenAccess W2950597877 @default.
- W2950597877 hasRelatedWork W1865728679 @default.
- W2950597877 hasRelatedWork W1959886368 @default.
- W2950597877 hasRelatedWork W1971346686 @default.
- W2950597877 hasRelatedWork W1973264834 @default.
- W2950597877 hasRelatedWork W1975701123 @default.
- W2950597877 hasRelatedWork W1999675231 @default.
- W2950597877 hasRelatedWork W2078103992 @default.
- W2950597877 hasRelatedWork W2101036453 @default.
- W2950597877 hasRelatedWork W2107471150 @default.
- W2950597877 hasRelatedWork W2117429544 @default.
- W2950597877 hasRelatedWork W2143249843 @default.
- W2950597877 hasRelatedWork W2153452731 @default.
- W2950597877 hasRelatedWork W2167210297 @default.
- W2950597877 hasRelatedWork W2405468764 @default.
- W2950597877 hasRelatedWork W2888328996 @default.
- W2950597877 hasRelatedWork W2896294417 @default.
- W2950597877 hasRelatedWork W2932678026 @default.
- W2950597877 hasRelatedWork W3118321919 @default.
- W2950597877 hasRelatedWork W827347906 @default.
- W2950597877 hasRelatedWork W2736402694 @default.
- W2950597877 isParatext "false" @default.
- W2950597877 isRetracted "false" @default.
- W2950597877 magId "2950597877" @default.
- W2950597877 workType "article" @default.