A coalgebraic approach to the semantics of the ambient calculus

A coalgebraic approach to the semantics of the ambient calculus (2005)

Cached

Download Links

[www.informatik.uni-bremen.de]

by Daniel Hausmann , Till Mossakowski , Lutz Schröder

Venue:	ALGEBRA AND COALGEBRA IN COMPUTER SCIENCE
Citations:	3 - 2 self

Versions

Version History

Metadata Version 3

User correction supplied by mph

Datum	Value	Source
TITLE	A coalgebraic approach to the semantics of the ambient calculus	user correction
AUTHOR NAME	Daniel Hausmann	user correction
AUTHOR AFFIL	Department of Computer Science, University of Bremen	user correction
AUTHOR NAME	Till Mossakowski	user correction
AUTHOR AFFIL	Department of Computer Science, University of Bremen	user correction
AUTHOR NAME	Lutz Schröder	user correction
AUTHOR AFFIL	Department of Computer Science, University of Bremen	user correction
ABSTRACT	Recently, various process calculi have been introduced which are suited for the modelling of mobile computation and in particular the mobility of program code; a prominent example is the ambient calculus. Due to the complexity of the involved spatial reduction, there is — in contrast to the situation in standard process algebra — up to now no satisfying coalgebraic representation of a mobile process calculus. Here, we discuss a coalgebraic denotational semantics for the ambient calculus, viewed as a step towards a generic coalgebraic framework for modelling mobile systems. Crucial features of our modelling are a set of GSOS style transition rules for the ambient calculus, a hardwiring of the so-called hardening relation in the functorial signature, and a set-based treatment of hidden name sharing. The formal representation of this framework is cast in the algebraic-coalgebraic specification language CoCasl.	user correction
YEAR	2005	INFERENCE
VENUE	ALGEBRA AND COALGEBRA IN COMPUTER SCIENCE	user correction
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	232--246	INFERENCE
VOLUME	3629	INFERENCE
CITATIONS	20 found	ParsCit 1.0