A coalgebraic approach to the semantics of the ambient calculus

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

Lutz Schröder, Till Mossakowski, Daniel Hausmann

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

coalgebra; process algebra; ambient calculus; COCASL

Mathematics Subject Classification ID

68Q55: Semantics in the theory of computing

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

18C50: Categorical semantics of formal languages

Related Items

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