scientific article
From MaRDI portal
Publication:2769437
zbMath0978.68101MaRDI QIDQ2769437
Dusko Pavlovic, Sava Krstić, John Launchbury
Publication date: 5 February 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2030/20300303
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) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)
Related Items (4)
A coinductive calculus for asynchronous side-effecting processes ⋮ A Coinductive Calculus for Asynchronous Side-Effecting Processes ⋮ Generalizing Substitution ⋮ Coalgebras and monads in the semantics of Java
This page was built for publication: