scientific article; zbMATH DE number 1305004
From MaRDI portal
Publication:4251927
zbMath0930.18002MaRDI QIDQ4251927
Glynn Winskel, Gian Luca Cattani, A. John Power
Publication date: 6 February 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Eilenberg-Moore and Kleisli constructions for monads (18C20)
Related Items (5)
Towards categorical models for fairness: Fully abstract presheaf semantics of SCCS with finite delay ⋮ Completeness of cocompletions ⋮ From rewrite rules to bisimulation congruences ⋮ Towards a unified view of bisimulation: A comparative study ⋮ A representation result for free cocompletions
This page was built for publication:
