FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2061164145> ?p ?o ?g. }

• W2061164145 abstract "Coalgebras in a Kleisli category yield a generic definition of trace semantics for various types of labelled transition systems. In this paper we apply this generic theory to generative probabilistic transition systems, short PTS, with arbitrary (possibly uncountable) state spaces. We consider the sub-probability monad and the probability monad (Giry monad) on the category of measurable spaces and measurable functions. Our main contribution is that the existence of a final coalgebra in the Kleisli category of these monads is closely connected to the measure-theoretic extension theorem for sigma-finite pre-measures. In fact, we obtain a practical definition of the trace measure for both finite and infinite traces of PTS that subsumes a well-known result for discrete probabilistic transition systems. Finally we consider two example systems with uncountable state spaces and apply our theory to calculate their trace measures." @default.
• W2061164145 created "2016-06-24" @default.
• W2061164145 creator A5007756001 @default.
• W2061164145 creator A5063161038 @default.
• W2061164145 date "2013-12-04" @default.
• W2061164145 modified "2023-10-18" @default.
• W2061164145 title "Coalgebraic Trace Semantics for Continuous Probabilistic Transition Systems" @default.
• W2061164145 cites W1498432697 @default.
• W2061164145 cites W1515897776 @default.
• W2061164145 cites W1540519426 @default.
• W2061164145 cites W1561269335 @default.
• W2061164145 cites W1565864939 @default.
• W2061164145 cites W1566287143 @default.
• W2061164145 cites W1656942730 @default.
• W2061164145 cites W1752709585 @default.
• W2061164145 cites W176827812 @default.
• W2061164145 cites W1971383138 @default.
• W2061164145 cites W2063972032 @default.
• W2061164145 cites W2076087052 @default.
• W2061164145 cites W2088189323 @default.
• W2061164145 cites W2088194522 @default.
• W2061164145 cites W2098457963 @default.
• W2061164145 cites W2135657750 @default.
• W2061164145 cites W2157657301 @default.
• W2061164145 cites W2171472101 @default.
• W2061164145 cites W259536784 @default.
• W2061164145 cites W342302233 @default.
• W2061164145 cites W600072479 @default.
• W2061164145 cites W75971611 @default.
• W2061164145 doi "https://doi.org/10.2168/lmcs-9(4:16)2013" @default.
• W2061164145 hasPublicationYear "2013" @default.
• W2061164145 type Work @default.
• W2061164145 sameAs 2061164145 @default.
• W2061164145 citedByCount "7" @default.
• W2061164145 countsByYear W20611641452015 @default.
• W2061164145 countsByYear W20611641452017 @default.
• W2061164145 countsByYear W20611641452018 @default.
• W2061164145 countsByYear W20611641452019 @default.
• W2061164145 crossrefType "journal-article" @default.
• W2061164145 hasAuthorship W2061164145A5007756001 @default.
• W2061164145 hasAuthorship W2061164145A5063161038 @default.
• W2061164145 hasBestOaLocation W20611641451 @default.
• W2061164145 hasConcept C105795698 @default.
• W2061164145 hasConcept C110729354 @default.
• W2061164145 hasConcept C118615104 @default.
• W2061164145 hasConcept C136119220 @default.
• W2061164145 hasConcept C138885662 @default.
• W2061164145 hasConcept C142399903 @default.
• W2061164145 hasConcept C156772000 @default.
• W2061164145 hasConcept C184337299 @default.
• W2061164145 hasConcept C199360897 @default.
• W2061164145 hasConcept C202444582 @default.
• W2061164145 hasConcept C21031990 @default.
• W2061164145 hasConcept C2778249326 @default.
• W2061164145 hasConcept C2780009758 @default.
• W2061164145 hasConcept C33923547 @default.
• W2061164145 hasConcept C33959348 @default.
• W2061164145 hasConcept C41008148 @default.
• W2061164145 hasConcept C41895202 @default.
• W2061164145 hasConcept C49937458 @default.
• W2061164145 hasConcept C54884031 @default.
• W2061164145 hasConcept C75291252 @default.
• W2061164145 hasConcept C77088390 @default.
• W2061164145 hasConceptScore W2061164145C105795698 @default.
• W2061164145 hasConceptScore W2061164145C110729354 @default.
• W2061164145 hasConceptScore W2061164145C118615104 @default.
• W2061164145 hasConceptScore W2061164145C136119220 @default.
• W2061164145 hasConceptScore W2061164145C138885662 @default.
• W2061164145 hasConceptScore W2061164145C142399903 @default.
• W2061164145 hasConceptScore W2061164145C156772000 @default.
• W2061164145 hasConceptScore W2061164145C184337299 @default.
• W2061164145 hasConceptScore W2061164145C199360897 @default.
• W2061164145 hasConceptScore W2061164145C202444582 @default.
• W2061164145 hasConceptScore W2061164145C21031990 @default.
• W2061164145 hasConceptScore W2061164145C2778249326 @default.
• W2061164145 hasConceptScore W2061164145C2780009758 @default.
• W2061164145 hasConceptScore W2061164145C33923547 @default.
• W2061164145 hasConceptScore W2061164145C33959348 @default.
• W2061164145 hasConceptScore W2061164145C41008148 @default.
• W2061164145 hasConceptScore W2061164145C41895202 @default.
• W2061164145 hasConceptScore W2061164145C49937458 @default.
• W2061164145 hasConceptScore W2061164145C54884031 @default.
• W2061164145 hasConceptScore W2061164145C75291252 @default.
• W2061164145 hasConceptScore W2061164145C77088390 @default.
• W2061164145 hasLocation W20611641451 @default.
• W2061164145 hasLocation W20611641452 @default.
• W2061164145 hasLocation W20611641453 @default.
• W2061164145 hasLocation W20611641454 @default.
• W2061164145 hasOpenAccess W2061164145 @default.
• W2061164145 hasPrimaryLocation W20611641451 @default.
• W2061164145 hasRelatedWork W1549064025 @default.
• W2061164145 hasRelatedWork W1592061669 @default.
• W2061164145 hasRelatedWork W1752709585 @default.
• W2061164145 hasRelatedWork W1964907332 @default.
• W2061164145 hasRelatedWork W1998546360 @default.
• W2061164145 hasRelatedWork W2061164145 @default.
• W2061164145 hasRelatedWork W2177291786 @default.
• W2061164145 hasRelatedWork W2610916331 @default.
• W2061164145 hasRelatedWork W2953325440 @default.
• W2061164145 hasRelatedWork W952420568 @default.

• next