Matches in SemOpenAlex for { <https://semopenalex.org/work/W2788523799> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2788523799 abstract "A coalgebraic definition of finite and infinite trace semantics for probabilistic transition systems has recently been given using a certain Kleisli category. In this paper this semantics is developed using a coalgebraic method which is an instance of general determinization. Once applied to discrete systems, this point of view allows the exploitation of the determinized structure by up-to techniques. Thereby it becomes possible to algorithmically check the equivalence of two finite probabilistic transition systems." @default.
- W2788523799 created "2018-03-06" @default.
- W2788523799 creator A5050625869 @default.
- W2788523799 date "2018-02-25" @default.
- W2788523799 modified "2023-09-27" @default.
- W2788523799 title "Trace semantics via determinization for probabilistic transition systems." @default.
- W2788523799 cites W1555534061 @default.
- W2788523799 cites W1593542532 @default.
- W2788523799 cites W2007281030 @default.
- W2788523799 cites W2061164145 @default.
- W2788523799 cites W2098962004 @default.
- W2788523799 cites W2178359813 @default.
- W2788523799 cites W2245651640 @default.
- W2788523799 cites W2581907835 @default.
- W2788523799 cites W342302233 @default.
- W2788523799 hasPublicationYear "2018" @default.
- W2788523799 type Work @default.
- W2788523799 sameAs 2788523799 @default.
- W2788523799 citedByCount "0" @default.
- W2788523799 crossrefType "posted-content" @default.
- W2788523799 hasAuthorship W2788523799A5050625869 @default.
- W2788523799 hasConcept C118615104 @default.
- W2788523799 hasConcept C136119220 @default.
- W2788523799 hasConcept C138885662 @default.
- W2788523799 hasConcept C154945302 @default.
- W2788523799 hasConcept C184337299 @default.
- W2788523799 hasConcept C199360897 @default.
- W2788523799 hasConcept C202444582 @default.
- W2788523799 hasConcept C2779167558 @default.
- W2788523799 hasConcept C2780069185 @default.
- W2788523799 hasConcept C33923547 @default.
- W2788523799 hasConcept C41008148 @default.
- W2788523799 hasConcept C41895202 @default.
- W2788523799 hasConcept C49937458 @default.
- W2788523799 hasConcept C75291252 @default.
- W2788523799 hasConcept C80444323 @default.
- W2788523799 hasConceptScore W2788523799C118615104 @default.
- W2788523799 hasConceptScore W2788523799C136119220 @default.
- W2788523799 hasConceptScore W2788523799C138885662 @default.
- W2788523799 hasConceptScore W2788523799C154945302 @default.
- W2788523799 hasConceptScore W2788523799C184337299 @default.
- W2788523799 hasConceptScore W2788523799C199360897 @default.
- W2788523799 hasConceptScore W2788523799C202444582 @default.
- W2788523799 hasConceptScore W2788523799C2779167558 @default.
- W2788523799 hasConceptScore W2788523799C2780069185 @default.
- W2788523799 hasConceptScore W2788523799C33923547 @default.
- W2788523799 hasConceptScore W2788523799C41008148 @default.
- W2788523799 hasConceptScore W2788523799C41895202 @default.
- W2788523799 hasConceptScore W2788523799C49937458 @default.
- W2788523799 hasConceptScore W2788523799C75291252 @default.
- W2788523799 hasConceptScore W2788523799C80444323 @default.
- W2788523799 hasLocation W27885237991 @default.
- W2788523799 hasOpenAccess W2788523799 @default.
- W2788523799 hasPrimaryLocation W27885237991 @default.
- W2788523799 hasRelatedWork W118676048 @default.
- W2788523799 hasRelatedWork W1580818477 @default.
- W2788523799 hasRelatedWork W1964907332 @default.
- W2788523799 hasRelatedWork W1977137928 @default.
- W2788523799 hasRelatedWork W2012100616 @default.
- W2788523799 hasRelatedWork W2029017938 @default.
- W2788523799 hasRelatedWork W2061164145 @default.
- W2788523799 hasRelatedWork W2064284596 @default.
- W2788523799 hasRelatedWork W2065978336 @default.
- W2788523799 hasRelatedWork W2088194522 @default.
- W2788523799 hasRelatedWork W2157657301 @default.
- W2788523799 hasRelatedWork W2163723056 @default.
- W2788523799 hasRelatedWork W2467575359 @default.
- W2788523799 hasRelatedWork W2554692008 @default.
- W2788523799 hasRelatedWork W2610916331 @default.
- W2788523799 hasRelatedWork W2772890845 @default.
- W2788523799 hasRelatedWork W2890034443 @default.
- W2788523799 hasRelatedWork W2891325043 @default.
- W2788523799 hasRelatedWork W2949443649 @default.
- W2788523799 hasRelatedWork W2952160849 @default.
- W2788523799 isParatext "false" @default.
- W2788523799 isRetracted "false" @default.
- W2788523799 magId "2788523799" @default.
- W2788523799 workType "article" @default.