Algebra and Coalgebra in Computer Science

DOI10.1007/11548133zbMath1151.68536OpenAlexW249899439MaRDI QIDQ5492811

Vladimiro Sassone, Bartek Klin, Paweł Sobociński

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) Grammars and rewriting systems (68Q42) Theories (e.g., algebraic theories), structure, and semantics (18C10)

Related Items (9)

Reactive systems, (semi-)saturated semantics and coalgebras on presheaves ⋮ A General Theory of Barbs, Contexts, and Labels ⋮ Unnamed Item ⋮ A semantic framework for open processes ⋮ On Symbolic Semantics for Name-decorated Contexts ⋮ RPO, Second-Order Contexts, and λ-Calculus ⋮ Directed Bigraphs ⋮ A Coalgebraic Theory of Reactive Systems ⋮ A Well-behaved LTS for the Pi-calculus

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