| Art der Veröffentlichung: |
Artikel |
| Autor: |
Daniel Hausmann, Till Mossakowski, Lutz Schröder |
| Titel: |
A Coalgebraic Approach to the Semantics of the Ambient Calculus |
| Band: |
366 |
| Seite(n): |
121 – 143 |
| Zeitschrift: |
Theoretical Computer Science |
| Ausgabe: |
1-2 |
| Erscheinungsjahr: |
2006 |
| Abstract / Kurzbeschreibung: |
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 |
| Schlagworte: |
ambient calculus coalgebra cocasl corecursion bialgebra |
| Anmerkung / Hinweis: |
Extends (Hausmann et al. 2005) |
| Status: |
Reviewed |
| Letzte Aktualisierung: |
18. 06. 2008 |
