Matches in SemOpenAlex for { <https://semopenalex.org/work/W1569472116> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W1569472116 endingPage "282" @default.
- W1569472116 startingPage "271" @default.
- W1569472116 abstract "Partial order methods have been introduced to avoid the state explosion problem in verification resulting from the representation of multiple interleavings of concurrent transitions. The basic idea is to build a reduced state space on which certain properties hold if and only if they hold for the full state space. Most often, the considered properties are linear-time properties. In this paper we suggest novel branching time reduction techniques which allow checking bisimulation equivalence on reduced state spaces. Our reduction takes place on bisimulation game graphs, thus jointly treating the systems under consideration. We show that reduction preserves winning strategies of the two players in the bisimulation game." @default.
- W1569472116 created "2016-06-24" @default.
- W1569472116 creator A5039694027 @default.
- W1569472116 creator A5046915601 @default.
- W1569472116 creator A5075456281 @default.
- W1569472116 date "1998-01-01" @default.
- W1569472116 modified "2023-09-27" @default.
- W1569472116 title "Partial Order Reductions for Bisimulation Checking" @default.
- W1569472116 cites W128674190 @default.
- W1569472116 cites W1528441743 @default.
- W1569472116 cites W1545104606 @default.
- W1569472116 cites W1569472116 @default.
- W1569472116 cites W1571291232 @default.
- W1569472116 cites W2021473546 @default.
- W1569472116 cites W2101955018 @default.
- W1569472116 cites W2124674026 @default.
- W1569472116 doi "https://doi.org/10.1007/978-3-540-49382-2_26" @default.
- W1569472116 hasPublicationYear "1998" @default.
- W1569472116 type Work @default.
- W1569472116 sameAs 1569472116 @default.
- W1569472116 citedByCount "5" @default.
- W1569472116 countsByYear W15694721162017 @default.
- W1569472116 countsByYear W15694721162019 @default.
- W1569472116 countsByYear W15694721162021 @default.
- W1569472116 countsByYear W15694721162022 @default.
- W1569472116 crossrefType "book-chapter" @default.
- W1569472116 hasAuthorship W1569472116A5039694027 @default.
- W1569472116 hasAuthorship W1569472116A5046915601 @default.
- W1569472116 hasAuthorship W1569472116A5075456281 @default.
- W1569472116 hasConcept C105795698 @default.
- W1569472116 hasConcept C110251889 @default.
- W1569472116 hasConcept C111335779 @default.
- W1569472116 hasConcept C11413529 @default.
- W1569472116 hasConcept C118615104 @default.
- W1569472116 hasConcept C120314980 @default.
- W1569472116 hasConcept C135315306 @default.
- W1569472116 hasConcept C17744445 @default.
- W1569472116 hasConcept C193702766 @default.
- W1569472116 hasConcept C199539241 @default.
- W1569472116 hasConcept C2524010 @default.
- W1569472116 hasConcept C2776359362 @default.
- W1569472116 hasConcept C2780069185 @default.
- W1569472116 hasConcept C33923547 @default.
- W1569472116 hasConcept C41008148 @default.
- W1569472116 hasConcept C48103436 @default.
- W1569472116 hasConcept C72434380 @default.
- W1569472116 hasConcept C80444323 @default.
- W1569472116 hasConcept C94625758 @default.
- W1569472116 hasConcept C94633896 @default.
- W1569472116 hasConceptScore W1569472116C105795698 @default.
- W1569472116 hasConceptScore W1569472116C110251889 @default.
- W1569472116 hasConceptScore W1569472116C111335779 @default.
- W1569472116 hasConceptScore W1569472116C11413529 @default.
- W1569472116 hasConceptScore W1569472116C118615104 @default.
- W1569472116 hasConceptScore W1569472116C120314980 @default.
- W1569472116 hasConceptScore W1569472116C135315306 @default.
- W1569472116 hasConceptScore W1569472116C17744445 @default.
- W1569472116 hasConceptScore W1569472116C193702766 @default.
- W1569472116 hasConceptScore W1569472116C199539241 @default.
- W1569472116 hasConceptScore W1569472116C2524010 @default.
- W1569472116 hasConceptScore W1569472116C2776359362 @default.
- W1569472116 hasConceptScore W1569472116C2780069185 @default.
- W1569472116 hasConceptScore W1569472116C33923547 @default.
- W1569472116 hasConceptScore W1569472116C41008148 @default.
- W1569472116 hasConceptScore W1569472116C48103436 @default.
- W1569472116 hasConceptScore W1569472116C72434380 @default.
- W1569472116 hasConceptScore W1569472116C80444323 @default.
- W1569472116 hasConceptScore W1569472116C94625758 @default.
- W1569472116 hasConceptScore W1569472116C94633896 @default.
- W1569472116 hasLocation W15694721161 @default.
- W1569472116 hasOpenAccess W1569472116 @default.
- W1569472116 hasPrimaryLocation W15694721161 @default.
- W1569472116 hasRelatedWork W1480434155 @default.
- W1569472116 hasRelatedWork W1545649731 @default.
- W1569472116 hasRelatedWork W1973351415 @default.
- W1569472116 hasRelatedWork W1976891319 @default.
- W1569472116 hasRelatedWork W1977555802 @default.
- W1569472116 hasRelatedWork W1980535239 @default.
- W1569472116 hasRelatedWork W1999706742 @default.
- W1569472116 hasRelatedWork W2055350841 @default.
- W1569472116 hasRelatedWork W2069441293 @default.
- W1569472116 hasRelatedWork W2090168620 @default.
- W1569472116 hasRelatedWork W2093686284 @default.
- W1569472116 hasRelatedWork W2110763517 @default.
- W1569472116 hasRelatedWork W2129121801 @default.
- W1569472116 hasRelatedWork W2136356641 @default.
- W1569472116 hasRelatedWork W2170070938 @default.
- W1569472116 hasRelatedWork W2171881435 @default.
- W1569472116 hasRelatedWork W2282572932 @default.
- W1569472116 hasRelatedWork W2288740934 @default.
- W1569472116 hasRelatedWork W2995181781 @default.
- W1569472116 hasRelatedWork W1584109559 @default.
- W1569472116 isParatext "false" @default.
- W1569472116 isRetracted "false" @default.
- W1569472116 magId "1569472116" @default.
- W1569472116 workType "book-chapter" @default.