A typed calculus of synchronous processes
- 19 November 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Interaction Categories and the Foundations of Typed Concurrent ProgrammingPublished by Springer Nature ,1996
- Proofs as processesTheoretical Computer Science, 1994
- New Foundations for the Geometry of InteractionInformation and Computation, 1994
- Categories for TypesPublished by Cambridge University Press (CUP) ,1994
- An interaction-based language and its typing systemPublished by Springer Nature ,1994
- Types for dyadic interactionPublished by Springer Nature ,1993
- Linear logicTheoretical Computer Science, 1987
- Calculi for synchrony and asynchronyTheoretical Computer Science, 1983
- *-Autonomous CategoriesPublished by Springer Nature ,1979
- Categories for the Working MathematicianPublished by Springer Nature ,1971