Towards a Coalgebraic Semantics of the Ambient Calculus
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.
KeywordsModal Logic Transition Rule Label Transition System Denotational Semantic Semantic Domain
Unable to display preview. Download preview PDF.
- 3.Cardelli, L., Gordon, A.: Ambient logic. Math. Struct. Comput. Sci. (to appear)Google Scholar
- 6.Honsell, F., Lenisa, M., Montanari, U., Pistore, M.: Final semantics for the π-calculus. Programming Concepts and Methods, pp. 225–243. Chapman & Hall, Boca Raton (1998)Google Scholar
- 7.Klin, B.: A coalgebraic approach to process equivalence and a coinduction principle for traces. In: Coalgebraic Methods in Computer Science. ENTCS, vol. 106, pp. 201–218. Elsevier, Amsterdam (2004)Google Scholar
- 9.Merro, M., Zappa Nardelli, F.: Behavioural theory for mobile ambients, Tech. Report RR-5375, INRIA (2004)Google Scholar
- 10.Mossakowski, T., Schröder, L., Roggenbach, M., Reichel, H.: Algebraic-co-algebraic specification in CoCasl. J. Logic Algebraic Programming (to appear)Google Scholar
- 16.Turi, D., Plotkin, G.: Towards a mathematical operational semantics. In: Logic in Computer Science, pp. 280–291. IEEE Computer Society Press, Los Alamitos (1997)Google Scholar
- 17.Vigliotti, M.: Reduction semantics for ambient calculi, Ph.D. thesis, Imperial College, London (2004)Google Scholar