A coalgebraic approach to the semantics of the ambient calculus

Theoretical Computer Science

Volumn 366, Issue 1-2, 2006, Pages 121-143

  Hausmann, Daniel ^a   Mossakowski, Till ^a   Schröder, Lutz ^a  

^a UNIVERSITY OF BREMEN   (Germany)

Author keywords

Ambient calculus; Coalgebra; COCASL; Process algebra

Indexed keywords

ALGEBRA; CODES (SYMBOLS); MATHEMATICAL MODELS; MOBILE COMPUTING; MOBILE TELECOMMUNICATION SYSTEMS; SEMANTICS;

AMBIENT CALCULUS; COALGEBRAIC APPROACH; COCASL; PROCESS ALGEBRA;

DIFFERENTIATION (CALCULUS);

EID: 33750380452     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2006.07.006     Document Type: Article

References (25)

1. Bartels F. Generalised coinduction. Math. Struct. Comput. Sci. 13 (2003) 321-348
2. M. Bidoit, P.D. Mosses. CASL User Manual, Lecture Notes in Computer Science, Vol. 2900, Springer, Berlin, 2004.
3. Cardelli L., and Gordon A. Mobile ambients. Theoret. Comput. Sci. 240 (2000) 177-213
4. L. Cardelli, A. Gordon, Ambient logic, Math. Struct. Comput. Sci. 2005, to appear.
5. Gabbay M., and Pitts A. A new approach to abstract syntax with variable binding. Formal Aspects Comput. 13 (2002) 341-363
6. Gordon A., and Cardelli L. Equational properties of mobile ambients. Math. Struct. Comput. Sci. 13 (2003) 371-408
7. D. Hausmann, T. Mossakowski, L. Schröder, Iterative circular coinduction for COCASL in Isabelle/HOL, in: M. Cerioli (Ed.), Fundamental Approaches to Software Engineering, Lecture Notes in Computer Science, Vol. 3442, Springer, Berlin, 2005, pp. 341-356.
8. Honsell F., Lenisa M., Montanari U., and Pistore M. Final semantics for the π-calculus. In: Gries D., and de Roever W.-P. (Eds). Programming Concepts and Methods (1998), Chapman & Hall, London 225-243
9. B. Klin, A coalgebraic approach to process equivalence and a coinduction principle for traces, in: J. Adámek, S. Milius (Eds.), Coalgebraic Methods in Computer Science, Electronic Notes in Theoretical Computer Science, Vol. 106, Elsevier, Amsterdam, 2004, pp. 201-218.
10. Levi F., and Sangiorgi D. Mobile safe ambients. J. ACM 25 1 (2003) 1-69
11. Merro M., and Hennessy M. Bisimulation congruences in safe ambients. ACM SIGPLAN Notices 37 (2002) 71-80
12. Merro M., and Nardelli F.Z. Behavioural theory for mobile ambients. J. ACM 52 6 (2005) 961-1023
13. R. Milner, D. Sangiorgi, Barbed bisimulation, in: W. Kuich (Ed.), Automata, Languages and Programming, Lecture Notes in Computer Science, Vol. 623, Springer, Berlin, 1992, pp. 685-695.
14. T. Mossakowski, The heterogeneous tool set, Available under 〈http://www.tzi.de/cofi/hets〉, University of Bremen.
15. T. Mossakowski, Heterogeneous specification and the heterogeneous tool set, Habilitation Thesis, University of Bremen, 2005.
16. Mossakowski T., Schröder L., Roggenbach M., and Reichel H. Algebraic-co-algebraic specification in COCASL. J. Logic Algebraic Programming 67 (2006) 146-197
17. P.D. Mosses (Ed.), CASL Reference Manual, Lecture Notes in Computer Science, Vol. 2960, Springer, Berlin, 2004.
18. Pattinson D. Expressive logics for coalgebras via terminal sequence induction. Notre Dame J. Formal Logic 45 (2004) 19-33
19. J. Rothe, Behavioural equivalences for coalgebras, Ph.D. Thesis, University of Dresden, 2003.
20. Rutten J. Universal coalgebra: a theory of systems. Theoret. Comput. Sci. 249 (2000) 3-80
21. U. Schöpp, I. Stark, A dependent type theory with names and binding, in: J. Marcinkowski, A. Tarlecki (Eds.), Computer Science Logic, Lecture Notes in Computer Science, Vol. 3210, Springer, Berlin, 2004, pp. 235-249.
22. L. Schröder, Expressivity of coalgebraic modal logic: the limits and beyond, in: V. Sassone (Ed.), Foundations of Software Science and Computation Structures, Lecture Notes in Computer Science, Vol. 3441, Springer, Berlin, 2005, pp. 440-454.
23. Thomsen B. A theory of higher order communicating systems. Inform. and Comput. 116 (1995) 38-57
24. D. Turi, G. Plotkin, Towards a mathematical operational semantics, in: Logic in Computer Science, IEEE Computer Society Press, 1997, pp. 280-291.
25. M. Vigliotti, Reduction semantics for ambient calculi, Ph.D. Thesis, Imperial College, London, 2004.