scientific article
From MaRDI portal
Publication:2863893
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
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categorical semantics of formal languages (18C50) Eilenberg-Moore and Kleisli constructions for monads (18C20)
Related Items (7)
Minimality Notions via Factorization Systems and Examples ⋮ Continuity as a computational effect ⋮ Convexity via Weak Distributive Laws ⋮ On Coalgebras over Algebras ⋮ On coalgebras over algebras ⋮ Probabilistic anonymity via coalgebraic simulations ⋮ (Bi)simulations up-to characterise process semantics
This page was built for publication:
