Algebra and Coalgebra in Computer Science

DOI10.1007/11548133zbMath1151.68511OpenAlexW249899439MaRDI QIDQ5492816

Roberto Bruni, Ugo Montanari, Ivan Lanese

Publication date: 20 October 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11548133

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14)

Related Items (2)

A basic algebra of stateless connectors ⋮ Formal Proofs for Nonlinear Optimization

This page was built for publication: Algebra and Coalgebra in Computer Science