| Publication type: |
Article |
| Author: |
Daniel Hausmann, Till Mossakowski, Lutz Schröder |
| Title: |
A Coalgebraic Approach to the Semantics of the Ambient Calculus |
| Volume: |
366 |
| Page(s): |
121 – 143 |
| Journal: |
Theoretical Computer Science |
| Number: |
1-2 |
| Year published: |
2006 |
| 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.
|
| Internet: |
http://dx.doi.org/10.1016/j.tcs.2006.07.006 |
| PDF Version: |
http://www.informatik.uni-bremen.de/~lschrode/papers/mobility-ext.pdf |
| Keywords: |
ambient calculus coalgebra cocasl corecursion bialgebra |
| Note / Comment: |
Extends (Hausmann et al. 2005) |
| Status: |
Reviewed |
| Last updated: |
18. 06. 2008 |
