A coalgebraic approach to the semantics of the ambient calculus

DOI10.1016/j.tcs.2006.07.006zbMath1154.68088OpenAlexW2115692551MaRDI QIDQ860882

Daniel Hausmann, Lutz Schröder, Till Mossakowski

Publication date: 9 January 2007

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2006.07.006

zbMATH Keywords

coalgebraprocess algebraambient calculusCOCASL

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) Categorical semantics of formal languages (18C50)

Related Items

Coalgebraic Symbolic Semantics, A coalgebraic approach to non-determinism: applications to multilattices, Expressivity of coalgebraic modal logic: the limits and beyond

Uses Software

• CASL
• Hets
• CoCasl

Cites Work

• Unnamed Item
• Unnamed Item
• Expressive logics for coalgebras via terminal sequence induction
• A new approach to abstract syntax with variable binding
• A theory of higher order communicating systems
• CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.
• Mobile ambients
• Universal coalgebra: A theory of systems
• CASL reference manual. The complete documentation of the common algebraic specification language.
• Algebraic-coalgebraic specification in CoCASL
• Behavioral theory for mobile ambients
• Generalised coinduction
• Equational properties of mobile ambients
• Bisimulation congruences in safe ambients
• Barbed bisimulation
• Foundations of Software Science and Computation Structures
• Computer Science Logic
• Fundamental Approaches to Software Engineering
• Foundations of Software Science and Computational Structures