Interaction Categories and the Foundations of Typed Concurrent Programming
- 1 January 1996
- book chapter
- Published by Springer Nature
Abstract
No abstract availableThis publication has 29 references indexed in Scilit:
- Semantics of weakening and contractionAnnals of Pure and Applied Logic, 1994
- Games and full completeness for multiplicative linear logicThe Journal of Symbolic Logic, 1994
- Computational interpretations of linear logicTheoretical Computer Science, 1993
- Quantales, observational logic and process semanticsMathematical Structures in Computer Science, 1993
- Receptive process theoryActa Informatica, 1992
- Algebraically complete categoriesLecture Notes in Mathematics, 1991
- Notes on Communicating Sequential SystemsPublished by Springer Nature ,1986
- A Theory of Communicating Sequential ProcessesJournal of the ACM, 1984
- Calculi for synchrony and asynchronyTheoretical Computer Science, 1983
- Review of the elements of 2-categoriesPublished by Springer Nature ,1974