The topos of labelled trees: A categorical semantics for SCCS

Fundamenta Informaticae

Volumn 32, Issue 1, 1997, Pages 27-45

  Kasangian, Stefano ^a   Vigna, Sebastiano ^b  

^a CA' FOSCARI UNIVERSITY OF VENICE   (Italy)

^b UNIVERSITY OF MILAN   (Italy)

Author keywords

Category theory; Process algebras; Semantics; Topos theory

Indexed keywords

EID: 3643129211     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: 10.3233/fi-1997-32102     Document Type: Article

References (13)

1. Jean Bénabou, Wandering and wondering about the high trees, Unpublished manuscript, 1984.
2. Ilaria Castellani, Bisimulations and abstraction homomorphisms, Journal of Computer and System Sciences 34 (1987), 210-235.
3. Robert Goldblatt, Topoi: the categorial analysis of logic, Studies in Logic and the Foundations of Mathematics, no. 98, North-Holland, 1979.
4. André Joyal, Mogens Nielsen, and Glynn Winskel, Bisimulation and open maps, Proc. LICS '93, 1993, pp. 418-427.
5. Stefano Kasangian and Sebastiano Vigna, Introducing a calculus of trees, Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT/CAAP '91), LNCS, no. 493, Springer-Verlag, 1991, pp. 215-240.
6. Colin McLarty, Elementary categories, elementary toposes, Oxford Logic Guides, no. 21, Oxford University Press, 1992.
7. Robin Milner, A calculus of communicating systems, LNCS, no. 92, Springer-Verlag, 1980.
8. _, Calculi for synchrony and asynchrony, Theoretical Computer Science 25 (1983), 267-310.
9. _, A complete inference system for a class of regular behaviours. Journal of Computer and System Sciences 28 (1984), 439-466.
10. _, Communication and concurrency, International Series in Computer Science, Prentice Hall, 1989.
11. Gordon D. Plotkin, A structural approach to operational semantics, Technical Report DAIMI FN-19, Aarhus University, September 1981.
12. Johan F.A.K. van Bentham, Corrispondence theory, Handbook of Philosophical Logic (Gabbay and Günter, eds.), vol. II, Reidel, 1984, pp. 167-247.
13. Glynn Winskel, Synchronization trees, Theoretical Computer Science 34 (1984), 33-82.