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
Minimality Notions via Factorization Systems and Examples, Convexity via Weak Distributive Laws, 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