Coalgebraic Trace Semantics for Probabilistic Transition Systems Based on Measure Theory

DOI10.1007/978-3-642-32940-1_29zbMath1364.68289OpenAlexW1752709585MaRDI QIDQ2912693

Barbara König, Henning Kerstan

Publication date: 25 September 2012

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-32940-1_29

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Eilenberg-Moore and Kleisli constructions for monads (18C20) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (1)

``Keep definition, change category -- a practical approach to state-based system calculi

This page was built for publication: Coalgebraic Trace Semantics for Probabilistic Transition Systems Based on Measure Theory