Matches in SemOpenAlex for { <https://semopenalex.org/work/W1736113712> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W1736113712 endingPage "381" @default.
- W1736113712 startingPage "370" @default.
- W1736113712 abstract "We study complete axiomatizations for different notions of probabilistic bisimulation on a recursion free process algebra with probability and nondeterminism under alternating and non-alternating semantics. The axioms that do not involve probability coincide with the original axioms of Milner. The axioms that involve probability differ depending on the bisimulation under examination and on the semantics that is used, thus revealing the implications of the different choices." @default.
- W1736113712 created "2016-06-24" @default.
- W1736113712 creator A5006624231 @default.
- W1736113712 creator A5037915016 @default.
- W1736113712 date "2001-01-01" @default.
- W1736113712 modified "2023-10-14" @default.
- W1736113712 title "Axiomatizations for Probabilistic Bisimulation" @default.
- W1736113712 cites W138290785 @default.
- W1736113712 cites W1482332845 @default.
- W1736113712 cites W1561925517 @default.
- W1736113712 cites W1810681804 @default.
- W1736113712 cites W1935088456 @default.
- W1736113712 cites W1992008267 @default.
- W1736113712 cites W2112710730 @default.
- W1736113712 cites W2113391296 @default.
- W1736113712 cites W2135657750 @default.
- W1736113712 cites W2165161585 @default.
- W1736113712 doi "https://doi.org/10.1007/3-540-48224-5_31" @default.
- W1736113712 hasPublicationYear "2001" @default.
- W1736113712 type Work @default.
- W1736113712 sameAs 1736113712 @default.
- W1736113712 citedByCount "51" @default.
- W1736113712 countsByYear W17361137122014 @default.
- W1736113712 countsByYear W17361137122015 @default.
- W1736113712 countsByYear W17361137122016 @default.
- W1736113712 countsByYear W17361137122019 @default.
- W1736113712 countsByYear W17361137122020 @default.
- W1736113712 countsByYear W17361137122021 @default.
- W1736113712 countsByYear W17361137122022 @default.
- W1736113712 countsByYear W17361137122023 @default.
- W1736113712 crossrefType "book-chapter" @default.
- W1736113712 hasAuthorship W1736113712A5006624231 @default.
- W1736113712 hasAuthorship W1736113712A5037915016 @default.
- W1736113712 hasConcept C11413529 @default.
- W1736113712 hasConcept C118615104 @default.
- W1736113712 hasConcept C135315306 @default.
- W1736113712 hasConcept C136119220 @default.
- W1736113712 hasConcept C154945302 @default.
- W1736113712 hasConcept C156325763 @default.
- W1736113712 hasConcept C161771561 @default.
- W1736113712 hasConcept C167729594 @default.
- W1736113712 hasConcept C168773036 @default.
- W1736113712 hasConcept C184337299 @default.
- W1736113712 hasConcept C199360897 @default.
- W1736113712 hasConcept C202444582 @default.
- W1736113712 hasConcept C2524010 @default.
- W1736113712 hasConcept C33923547 @default.
- W1736113712 hasConcept C41008148 @default.
- W1736113712 hasConcept C49937458 @default.
- W1736113712 hasConcept C80444323 @default.
- W1736113712 hasConceptScore W1736113712C11413529 @default.
- W1736113712 hasConceptScore W1736113712C118615104 @default.
- W1736113712 hasConceptScore W1736113712C135315306 @default.
- W1736113712 hasConceptScore W1736113712C136119220 @default.
- W1736113712 hasConceptScore W1736113712C154945302 @default.
- W1736113712 hasConceptScore W1736113712C156325763 @default.
- W1736113712 hasConceptScore W1736113712C161771561 @default.
- W1736113712 hasConceptScore W1736113712C167729594 @default.
- W1736113712 hasConceptScore W1736113712C168773036 @default.
- W1736113712 hasConceptScore W1736113712C184337299 @default.
- W1736113712 hasConceptScore W1736113712C199360897 @default.
- W1736113712 hasConceptScore W1736113712C202444582 @default.
- W1736113712 hasConceptScore W1736113712C2524010 @default.
- W1736113712 hasConceptScore W1736113712C33923547 @default.
- W1736113712 hasConceptScore W1736113712C41008148 @default.
- W1736113712 hasConceptScore W1736113712C49937458 @default.
- W1736113712 hasConceptScore W1736113712C80444323 @default.
- W1736113712 hasLocation W17361137121 @default.
- W1736113712 hasOpenAccess W1736113712 @default.
- W1736113712 hasPrimaryLocation W17361137121 @default.
- W1736113712 hasRelatedWork W1536150964 @default.
- W1736113712 hasRelatedWork W1736113712 @default.
- W1736113712 hasRelatedWork W1976699413 @default.
- W1736113712 hasRelatedWork W2124232232 @default.
- W1736113712 hasRelatedWork W2148160518 @default.
- W1736113712 hasRelatedWork W2167838019 @default.
- W1736113712 hasRelatedWork W2807761056 @default.
- W1736113712 hasRelatedWork W3047659890 @default.
- W1736113712 hasRelatedWork W3080569247 @default.
- W1736113712 hasRelatedWork W3081656401 @default.
- W1736113712 isParatext "false" @default.
- W1736113712 isRetracted "false" @default.
- W1736113712 magId "1736113712" @default.
- W1736113712 workType "book-chapter" @default.