Matches in SemOpenAlex for { <https://semopenalex.org/work/W1489359924> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W1489359924 endingPage "386" @default.
- W1489359924 startingPage "371" @default.
- W1489359924 abstract "We propose decision algorithms for bisimulation relations defined on probabilistic automata, a model for concurrent nondeterministic systems with randomization. The algorithms decide both strong and weak bisimulation relations based on deterministic as well as randomized schedulers. These algorithms extend and complete other known algorithms for simpler relations and models. The algorithm we present for strong probabilistic bisimulation has polynomial time complexity, while the algorithm for weak probabilistic bisimulation is exponential; however we argue that the latter is feasible in practice." @default.
- W1489359924 created "2016-06-24" @default.
- W1489359924 creator A5006624231 @default.
- W1489359924 creator A5052192243 @default.
- W1489359924 date "2002-01-01" @default.
- W1489359924 modified "2023-10-02" @default.
- W1489359924 title "Decision Algorithms for Probabilistic Bisimulation*" @default.
- W1489359924 cites W1505118248 @default.
- W1489359924 cites W1793726001 @default.
- W1489359924 cites W1810681804 @default.
- W1489359924 cites W1963619740 @default.
- W1489359924 cites W1974090207 @default.
- W1489359924 cites W1992008267 @default.
- W1489359924 cites W2021473546 @default.
- W1489359924 cites W2068361557 @default.
- W1489359924 cites W2130773382 @default.
- W1489359924 cites W2135657750 @default.
- W1489359924 cites W2141670510 @default.
- W1489359924 cites W2611147814 @default.
- W1489359924 cites W4230164823 @default.
- W1489359924 doi "https://doi.org/10.1007/3-540-45694-5_25" @default.
- W1489359924 hasPublicationYear "2002" @default.
- W1489359924 type Work @default.
- W1489359924 sameAs 1489359924 @default.
- W1489359924 citedByCount "76" @default.
- W1489359924 countsByYear W14893599242012 @default.
- W1489359924 countsByYear W14893599242013 @default.
- W1489359924 countsByYear W14893599242014 @default.
- W1489359924 countsByYear W14893599242015 @default.
- W1489359924 countsByYear W14893599242016 @default.
- W1489359924 countsByYear W14893599242017 @default.
- W1489359924 countsByYear W14893599242018 @default.
- W1489359924 countsByYear W14893599242019 @default.
- W1489359924 countsByYear W14893599242020 @default.
- W1489359924 countsByYear W14893599242021 @default.
- W1489359924 countsByYear W14893599242022 @default.
- W1489359924 countsByYear W14893599242023 @default.
- W1489359924 crossrefType "book-chapter" @default.
- W1489359924 hasAuthorship W1489359924A5006624231 @default.
- W1489359924 hasAuthorship W1489359924A5052192243 @default.
- W1489359924 hasConcept C112505250 @default.
- W1489359924 hasConcept C11413529 @default.
- W1489359924 hasConcept C118615104 @default.
- W1489359924 hasConcept C128669082 @default.
- W1489359924 hasConcept C135315306 @default.
- W1489359924 hasConcept C154945302 @default.
- W1489359924 hasConcept C174784677 @default.
- W1489359924 hasConcept C176181172 @default.
- W1489359924 hasConcept C24404364 @default.
- W1489359924 hasConcept C311688 @default.
- W1489359924 hasConcept C33923547 @default.
- W1489359924 hasConcept C41008148 @default.
- W1489359924 hasConcept C49937458 @default.
- W1489359924 hasConcept C80444323 @default.
- W1489359924 hasConceptScore W1489359924C112505250 @default.
- W1489359924 hasConceptScore W1489359924C11413529 @default.
- W1489359924 hasConceptScore W1489359924C118615104 @default.
- W1489359924 hasConceptScore W1489359924C128669082 @default.
- W1489359924 hasConceptScore W1489359924C135315306 @default.
- W1489359924 hasConceptScore W1489359924C154945302 @default.
- W1489359924 hasConceptScore W1489359924C174784677 @default.
- W1489359924 hasConceptScore W1489359924C176181172 @default.
- W1489359924 hasConceptScore W1489359924C24404364 @default.
- W1489359924 hasConceptScore W1489359924C311688 @default.
- W1489359924 hasConceptScore W1489359924C33923547 @default.
- W1489359924 hasConceptScore W1489359924C41008148 @default.
- W1489359924 hasConceptScore W1489359924C49937458 @default.
- W1489359924 hasConceptScore W1489359924C80444323 @default.
- W1489359924 hasLocation W14893599241 @default.
- W1489359924 hasOpenAccess W1489359924 @default.
- W1489359924 hasPrimaryLocation W14893599241 @default.
- W1489359924 hasRelatedWork W1037179907 @default.
- W1489359924 hasRelatedWork W1489359924 @default.
- W1489359924 hasRelatedWork W1597181838 @default.
- W1489359924 hasRelatedWork W1601878028 @default.
- W1489359924 hasRelatedWork W2100326215 @default.
- W1489359924 hasRelatedWork W2126214140 @default.
- W1489359924 hasRelatedWork W2625519638 @default.
- W1489359924 hasRelatedWork W2963069146 @default.
- W1489359924 hasRelatedWork W4287742608 @default.
- W1489359924 hasRelatedWork W2584974078 @default.
- W1489359924 isParatext "false" @default.
- W1489359924 isRetracted "false" @default.
- W1489359924 magId "1489359924" @default.
- W1489359924 workType "book-chapter" @default.