A coalgebraic approach to the semantics of the ambient calculus
type: Item
instance of: scholarly article
title: A coalgebraic approach to the semantics of the ambient calculus
zbMATH Open document ID: 1154.68088
author: Daniel Hausmann
author: Till Mossakowski
author: Lutz Schröder
published in: Theoretical Computer Science
publication date: 2007-01-09T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 18C50
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 5083522
zbMATH Keywords: process algebra
zbMATH Keywords: ambient calculus
zbMATH Keywords: coalgebra
zbMATH Keywords: COCASL
describes a project that uses: CASL
describes a project that uses: CoCasl
describes a project that uses: Hets
MaRDI profile type: Publication
full work available at URL: j.tcs.2006.07.006
OpenAlex ID: W2115692551
cites work: Generalised coinduction
cites work: CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.
cites work: Mobile ambients
cites work: A new approach to abstract syntax with variable binding
cites work: Equational properties of mobile ambients
cites work: Fundamental Approaches to Software Engineering
cites work: A coalgebraic approach to process equivalence and a coinduction principle for traces
cites work: Bisimulation congruences in safe ambients
cites work: Behavioral theory for mobile ambients
cites work: Barbed bisimulation
cites work: Algebraic-coalgebraic specification in CoCASL
cites work: CASL reference manual. The complete documentation of the common algebraic specification language.
cites work: Expressive logics for coalgebras via terminal sequence induction
cites work: Q5306026
cites work: Universal coalgebra: A theory of systems
cites work: Computer Science Logic
cites work: Foundations of Software Science and Computational Structures
cites work: A theory of higher order communicating systems
cites work: Foundations of Software Science and Computation Structures
DOI: 10.1016/J.TCS.2006.07.006
description: scientific article; zbMATH DE number 5083522