Matches in SemOpenAlex for { <https://semopenalex.org/work/W2890034443> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2890034443 endingPage "121" @default.
- W2890034443 startingPage "100" @default.
- W2890034443 abstract "We show how finite and infinite trace semantics of generative probabilistic transition systems arises through a determinisation construction. This enables the use of bisimulations (up-to) to prove equivalence. In particular, it follows that trace equivalence for finite probabilistic transition systems is decidable. Further, the determinisation construction applies to both discrete and continuous probabilistic systems." @default.
- W2890034443 created "2018-09-27" @default.
- W2890034443 creator A5015520868 @default.
- W2890034443 creator A5050625869 @default.
- W2890034443 date "2018-01-01" @default.
- W2890034443 modified "2023-10-16" @default.
- W2890034443 title "(In)finite Trace Equivalence of Probabilistic Transition Systems" @default.
- W2890034443 cites W1528269269 @default.
- W2890034443 cites W1555534061 @default.
- W2890034443 cites W1971383138 @default.
- W2890034443 cites W2007281030 @default.
- W2890034443 cites W2013127440 @default.
- W2890034443 cites W2061164145 @default.
- W2890034443 cites W2088189323 @default.
- W2890034443 cites W2098962004 @default.
- W2890034443 cites W2163723056 @default.
- W2890034443 cites W2468444917 @default.
- W2890034443 cites W2601725224 @default.
- W2890034443 cites W2891325043 @default.
- W2890034443 cites W2963852542 @default.
- W2890034443 cites W342302233 @default.
- W2890034443 cites W4232171345 @default.
- W2890034443 cites W4232277105 @default.
- W2890034443 cites W4310300362 @default.
- W2890034443 doi "https://doi.org/10.1007/978-3-030-00389-0_7" @default.
- W2890034443 hasPublicationYear "2018" @default.
- W2890034443 type Work @default.
- W2890034443 sameAs 2890034443 @default.
- W2890034443 citedByCount "0" @default.
- W2890034443 crossrefType "book-chapter" @default.
- W2890034443 hasAuthorship W2890034443A5015520868 @default.
- W2890034443 hasAuthorship W2890034443A5050625869 @default.
- W2890034443 hasBestOaLocation W28900344432 @default.
- W2890034443 hasConcept C105795698 @default.
- W2890034443 hasConcept C118615104 @default.
- W2890034443 hasConcept C136119220 @default.
- W2890034443 hasConcept C138885662 @default.
- W2890034443 hasConcept C153269930 @default.
- W2890034443 hasConcept C202444582 @default.
- W2890034443 hasConcept C2780069185 @default.
- W2890034443 hasConcept C33923547 @default.
- W2890034443 hasConcept C41008148 @default.
- W2890034443 hasConcept C41895202 @default.
- W2890034443 hasConcept C49937458 @default.
- W2890034443 hasConcept C75291252 @default.
- W2890034443 hasConceptScore W2890034443C105795698 @default.
- W2890034443 hasConceptScore W2890034443C118615104 @default.
- W2890034443 hasConceptScore W2890034443C136119220 @default.
- W2890034443 hasConceptScore W2890034443C138885662 @default.
- W2890034443 hasConceptScore W2890034443C153269930 @default.
- W2890034443 hasConceptScore W2890034443C202444582 @default.
- W2890034443 hasConceptScore W2890034443C2780069185 @default.
- W2890034443 hasConceptScore W2890034443C33923547 @default.
- W2890034443 hasConceptScore W2890034443C41008148 @default.
- W2890034443 hasConceptScore W2890034443C41895202 @default.
- W2890034443 hasConceptScore W2890034443C49937458 @default.
- W2890034443 hasConceptScore W2890034443C75291252 @default.
- W2890034443 hasLocation W28900344431 @default.
- W2890034443 hasLocation W28900344432 @default.
- W2890034443 hasLocation W28900344433 @default.
- W2890034443 hasLocation W28900344434 @default.
- W2890034443 hasLocation W28900344435 @default.
- W2890034443 hasOpenAccess W2890034443 @default.
- W2890034443 hasPrimaryLocation W28900344431 @default.
- W2890034443 hasRelatedWork W1510949832 @default.
- W2890034443 hasRelatedWork W1516755858 @default.
- W2890034443 hasRelatedWork W1733262075 @default.
- W2890034443 hasRelatedWork W2087759875 @default.
- W2890034443 hasRelatedWork W22667845 @default.
- W2890034443 hasRelatedWork W2788523799 @default.
- W2890034443 hasRelatedWork W2890034443 @default.
- W2890034443 hasRelatedWork W2952805775 @default.
- W2890034443 hasRelatedWork W2964187826 @default.
- W2890034443 hasRelatedWork W4385438915 @default.
- W2890034443 isParatext "false" @default.
- W2890034443 isRetracted "false" @default.
- W2890034443 magId "2890034443" @default.
- W2890034443 workType "book-chapter" @default.