Locating reaction with 2-categories

Theoretical Computer Science

Volumn 333, Issue 1-2, 2005, Pages 297-327

  Sassone, Vladimiro ^a   Sobociński, Paweł ^b  

^a UNIVERSITY OF SUSSEX   (United Kingdom)

^b AARHUS UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; GRAPH THEORY; SEMANTICS;

BISIMULATION; CALCULUS; GROUPOIDAL RELATIVE PUSHOUTS (GRPO); RELATIVE PUSHOUT (RPO);

COMPUTER SCIENCE;

EID: 13644253987     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2004.10.025     Document Type: Conference Paper

References (25)

1. M. Bugliesi, S. Crafa, M. Merro, V. Sassone, Communication interference in mobile boxed ambients, in: Foundations of Software Technology and Theoretical Computer Science, FST&TCS'02, Lecture Notes in Computer Science, Vol. 2556, Springer, Berlin, 2002, pp. 71-84.
2. A. Carboni, S. Lack, and R.F.C. Walters Introduction to extensive and distributive categories J. Pure Appl. Algebra 84 2 1993 145 158
3. G. Castagna, F. Zappa Nardelli, The Seal calculus revisited, in: Foundations of Software Technology and Theoretical Computer Science, FST&TCS'02, Lecture Notes in Computer Science, Vol. 2556, Springer, Berlin, 2002, pp. 85-96.
4. J.C. Godskesen, T. Hildebrandt, V. Sassone, A calculus of mobile resources, in: Internat. Conf. on Concurrency Theory, CONCUR'02, Lecture Notes in Computer Science, Vol. 2421, Springer, Berlin, 2002, pp. 272-287.
5. M. Hennessy, M. Merro, Bisimulation congruences in safe ambients, in: Principles of Programming Languages, POPL'02, ACM Press, New York, 2002, pp. 71-80.
6. C.A.R. Hoare Communicating Sequential Processes 1985 Prentice-Hall Englewood Cliffs, NJ
7. O.H. Jensen, R. Milner, Bigraphs and mobile processes, Technical Report 570, Computer Laboratory, University of Cambridge, 2003.
8. O.H. Jensen, R. Milner, Bigraphs and transitions, in: Principles of Programming Languages, POPL'03, ACM Press, New York, 2003.
9. G.M. Kelly Elementary observations on 2-categorical limits Bull. Austral. Math. Soc. 39 1989 301 317
10. G.M. Kelly, and R.H. Street Review of the elements of 2-categories Lecture Notes Math. 420 1974 75 103
11. F.W. Lawvere Functorial semantics of algebraic theories Proc. Natl. Acad. Sci. 50 1963 869 873
12. J. Leifer, Operational congruences for reactive systems, Ph.D. Thesis, University of Cambridge, 2001.
13. J. Leifer, Synthesising labelled transitions and operational congruences in reactive systems, parts 1 and 2, Technical Report RR-4394 and RR-4395, INRIA Rocquencourt, 2002.
14. J. Leifer, R. Milner, Deriving bisimulation congruences for reactive systems, in: Internat. Conf. on Concurrency Theory, CONCUR'00, Lecture Notes in Computer Science, Springer, Berlin, 2000, pp. 243-258.
15. R. Milner Calculi for interaction Acta Inform. 33 8 1996 707 737
16. R. Milner Communicating and Mobile Systems the Pi-calculus 1999 Cambridge University Press Cambridge
17. R. Milner, Bigraphical reactive systems: basic theory, Technical Report 523, Computer Laboratory, University of Cambridge, 2001.
18. A.W. Roscoe The Theory and Practice of Concurrency 1997 Prentice-Hall Englewood Cliffs, NJ
19. V. Sassone, and P. Sobociński Deriving bisimulation congruences a 2-categorical approach Electron. Notes Theoret. Comput. Sci. 68 2 2002
20. V. Sassone, P. Sobociński, Deriving bisimulation congruences: 2-categories vs. precategories, in: Proc. Found. of Software Science and Computation Structures, FOSSACS'03, Lecture Notes in Computer Science, Vol. 2620, Springer, Berlin, 2003, pp. 409-424.
21. V. Sassone, and P. Sobociński Deriving bisimulation congruences using 2-categories Nordic J. Comput. 10 2003 163 183
22. V. Sassone, P. Sobociński, Coinductive reasoning for contextual graph rewriting, Manuscript, 2004.
23. P. Sewell, Working note PS12, February 2000, Unpublished note.
24. P. Sewell From rewrite rules to bisimulation congruences Theoret. Comput. Sci. 274 1-2 2002 183 230
25. R.H. Street Fibrations in bicategories Cahiers Topologie Géom. Différentielle XXI-2 1980 111 159