Deriving bisimulation congruences: 2-Categories vs precategories

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2620, Issue , 2003, Pages 409-424

  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

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

2-CATEGORIES; BISIMULATION CONGRUENCES; REACTIVE SYSTEM; REDUCTION SYSTEMS; RELATIVE-PUSHOUTS;

COMPUTATION THEORY;

EID: 35248898744     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36576-1_26     Document Type: Article

References (20)

1. M. Bugliesi, S. Crafa, M. Merro, and V. Sassone. Communication interference in mobile boxed ambients. In Foundations of Software Technology and Theoretical Computer Science, FST&TCS 02, volume 2556 of Lecture Notes in Computer Science, pages 71-84. Springer, 2002.
2. A. Carboni, S. Lack, and R. F. C. Walters. Introduction to extensive and distributive categories. Journal of Pure and Applied Algebra, 84(2): 145-158, February 1993.
3. G. Castagna and F. Zappa Nardelli. The seal calculus revised. In Foundations of Software Technology and Theoretical Computer Science, FST&TCS 02, volume 2556 of Lecture Notes in Computer Science, pages 85-96. Springer, 2002.
4. J. C. Godskesen, T. Hildebrandt, and V. Sassone. A calculus of mobile resources. In Int. Conf. on Concurrency Theory, CONCUR 02, volume 2421 of Lecture Notes in Computer Science, pages 272-287. Springer, 2002.
5. M. Hennessy and M. Merro. Bisimulation congruences in safe ambients. In Principles of Programming Languages, POPL 02, pages 71-80. ACM Press, 2002.
6. C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.
7. O. H. Jensen and R. Milner. Bigraphs and transitions. In Principles of Programming Languages, POPL 03. ACM Press, 2003.
8. G. M. Kelly. Elementary observations on 2-categorical limits. Bull. Austral. Math. Soc., 39:301-317, 1989.
9. G. M. Kelly and R. H. Street. Review of the elements of 2-categories. Lecture Notes in Mathematics, 420:75-103, 1974.
10. F. W. Lawvere. Functorial semantics of algebraic theories. Proceedings, National Academy of Sciences, 50:869-873, 1963.
11. J. Leifer. Operational congruences for reactive systems. Phd thesis, University of Cambridge, 2001.
12. 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.
13. J. Leifer and R. Milner. Deriving bisimulation congruences for reactive systems. In Int. Conf. on Concurrency Theory, CONCUR 00, Lecture Notes in Computer Science, pages 243-258. Springer, 2000.
14. R. Milner. Calculi for interaction. Acta Informatica, 33(8):707-737, 1996.
15. R. Milner. Bigraphical reactive systems: Basic theory. Technical Report 523, Computer Laboratory, University of Cambridge, 2001.
16. A. W. Roscoe. The Theory and Practice of Concurrency. Prentice Hall, 1997.
17. V. Sassone and P. Sobociński. Deriving bisimulation congruences: A 2-categorical approach. Electronic Notes in Theoretical Computer Science, 68(2), 2002.
18. V. Sassone and P. Sobociński. Deriving bisimulation congruences: 2-categories vs. precategories. Technical Report RS-03-1, BRICS, January 2003.
19. P. Sewell. From rewrite rules to bisimulation congruences. Lecture Notes in Computer Science, 1466:269-284, 1998.
20. R. H. Street. Fibrations in bicategories. Cahiers de topologie et géométrie différentielle, XXI-2:111-159, 1980.