An interaction-based language and its typing system
- 1 January 1994
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 22 references indexed in Scilit:
- A theory of type polymorphism in programmingPublished by Elsevier ,2003
- Predicative polymorphism in π-calculusPublished by Springer Nature ,1994
- Principal typing schemes in a polyadic π-calculusPublished by Springer Nature ,1993
- Types for dyadic interactionPublished by Springer Nature ,1993
- Constraining interference in an object-based design methodPublished by Springer Nature ,1993
- The Polyadic π-Calculus: a TutorialPublished by Springer Nature ,1993
- A calculus of mobile processes, IIInformation and Computation, 1992
- Type Systems for Programming LanguagesPublished by Elsevier ,1990
- Notes on Communicating Sequential SystemsPublished by Springer Nature ,1986
- Communicating sequential processesCommunications of the ACM, 1978