Universität Bremen  
  FB 3  
  Group BKB > Publications > Search > Deutsch

Publications Search - Details

Publication type: Article in Proceedings
Author: Daniel Hausmann, Till Mossakowski, Lutz Schröder
Editor: Jose Fiadeiro, Neil Harman, Markus Roggenbach, Jan Rutten
Title: Towards a Coalgebraic Approach to the Semantics of the Ambient Calculus
Book / Collection title: Algebra and Coalgebra in Computer Science
Volume: 3629
Page(s): 232 – 246
Series: Lecture Notes in Computer Science
Year published: 2005
Publisher: Springer, Berlin
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.
ISBN: 3-540-28620-9
Internet: http://www.springerlink.com/(bt4qw245oavupgzdxw3zpuul)/app/home/contribution.asp?referrer=parent&backto=searchcitationsresults,1,2;
PDF Version: http://www.informatik.uni-bremen.de/~lschrode/papers/mobility.pdf
PostScript Version: http://www.informatik.uni-bremen.de/~lschrode/papers/mobility.ps
Keywords: ambient calculus coalgebra cocasl corecursion bialgebra
Status: Reviewed
Last updated: 03. 04. 2006

 Back to result list
Author: Automatically generated page
  Group BKB 
Last updated: February 23, 2006   impressum