Towards a Coalgebraic Approach to the Semantics of the Ambient Calculus
D. Hausmann, T. Mossakowski, and L. Schröder. Algebra and Coalgebra in Computer Science, volume 3629 of Lecture Notes in Computer Science, page 232-246. Springer; Berlin, (2005)
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 work towards a unifying coalgebraic framework for the
denotational semantics of mobile systems. The connection between the
ambient calculus and a coalgebraic approach which uses an extension of
labelled transition systems in the representation of the reduction
relation is analyzed in more detail. The formal representation of this
framework is cast in the algebraic-coalgebraic specification language CoCASL.
%0 Conference Paper
%1 HausmannEA05b
%A Hausmann, Daniel
%A Mossakowski, Till
%A Schröder, Lutz
%B Algebra and Coalgebra in Computer Science
%D 2005
%E Fiadeiro, Jose
%E Harman, Neil
%E Roggenbach, Markus
%E Rutten, Jan
%I Springer; Berlin
%K ambient bialgebra calculus coalgebra cocasl corecursion
%P 232-246
%T Towards a Coalgebraic Approach to the Semantics of the Ambient Calculus
%U http://www.springerlink.com/(bt4qw245oavupgzdxw3zpuul)/app/home/contribution.asp?referrer=parent&backto=searchcitationsresults,1,2;
%V 3629
%X 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 work towards a unifying coalgebraic framework for the
denotational semantics of mobile systems. The connection between the
ambient calculus and a coalgebraic approach which uses an extension of
labelled transition systems in the representation of the reduction
relation is analyzed in more detail. The formal representation of this
framework is cast in the algebraic-coalgebraic specification language CoCASL.
%@ 3-540-28620-9
@inproceedings{HausmannEA05b,
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 work towards a unifying coalgebraic framework for the
denotational semantics of mobile systems. The connection between the
ambient calculus and a coalgebraic approach which uses an extension of
labelled transition systems in the representation of the reduction
relation is analyzed in more detail. The formal representation of this
framework is cast in the algebraic-coalgebraic specification language CoCASL.
},
added-at = {2016-08-05T15:59:03.000+0200},
author = {Hausmann, Daniel and Mossakowski, Till and Schr{\"o}der, Lutz},
biburl = {https://www.bibsonomy.org/bibtex/262af612c6296b8c807945a10abb24d56/tillmo},
booktitle = {Algebra and Coalgebra in Computer Science},
editor = {Fiadeiro, Jose and Harman, Neil and Roggenbach, Markus and Rutten, Jan},
interhash = {d38293300ce086a538764fc0f0ca188d},
intrahash = {62af612c6296b8c807945a10abb24d56},
isbn = {3-540-28620-9},
keywords = {ambient bialgebra calculus coalgebra cocasl corecursion},
pages = {232-246},
pdfurl = {http://www.informatik.uni-bremen.de/~lschrode/papers/mobility.pdf},
psurl = {http://www.informatik.uni-bremen.de/~lschrode/papers/mobility.ps},
publisher = {Springer; Berlin},
series = {Lecture Notes in Computer Science},
status = {Reviewed},
timestamp = {2016-08-05T15:59:03.000+0200},
title = {Towards a Coalgebraic Approach to the Semantics of the Ambient Calculus},
url = {http://www.springerlink.com/(bt4qw245oavupgzdxw3zpuul)/app/home/contribution.asp?referrer=parent&backto=searchcitationsresults,1,2;},
volume = 3629,
year = 2005
}