Language primitives and type discipline for structured communication-based programming
- 1 January 1998
- book chapter
- Published by Springer Science and Business Media LLC
- p. 122-138
- https://doi.org/10.1007/bfb0053567
Abstract
No abstract availableKeywords
This publication has 23 references indexed in Scilit:
- Typed concurrent objectsPublished by Springer Science and Business Media LLC ,2006
- Graph types for monadic mobile processesLecture Notes in Computer Science, 1996
- Interaction Categories and the Foundations of Typed Concurrent ProgrammingPublished by Springer Science and Business Media LLC ,1996
- Reasoning about dynamically evolving process structuresFormal Aspects of Computing, 1994
- A typing system for a calculus of objectsLecture Notes in Computer Science, 1993
- The Polyadic π-Calculus: a TutorialPublished by Springer Science and Business Media LLC ,1993
- A calculus of mobile processes, IInformation and Computation, 1992
- The chemical abstract machineTheoretical Computer Science, 1992
- CMLACM SIGPLAN Notices, 1991
- Fundamental properties of infinite treesTheoretical Computer Science, 1983