Publication:2863893
From MaRDI portal
zbMath1276.68122MaRDI QIDQ2863893
Bart Jacobs, Ana Sokolova, Ichiro Hasuo
Publication date: 4 December 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106004695?np=y
coalgebra; probability; monad; non-determinism; Kleisli category; trace semantics; linear time semantics
68Q55: Semantics in the theory of computing
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
18C50: Categorical semantics of formal languages
18C20: Eilenberg-Moore and Kleisli constructions for monads
Related Items
On coalgebras over algebras, Probabilistic anonymity via coalgebraic simulations, (Bi)simulations up-to characterise process semantics, Continuity as a computational effect, On Coalgebras over Algebras