Type-based analysis of communication for concurrent programming languages
- 1 January 1997
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 187-201
- https://doi.org/10.1007/bfb0032742
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Typing and subtyping for mobile processesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A partially deadlock-free typed process calculusPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Type-based analysis of communication for concurrent programming languagesLecture Notes in Computer Science, 1997
- Linearity and the pi-calculusPublished by Association for Computing Machinery (ACM) ,1996
- Static analysis of communication for asynchronous concurrent programming languagesLecture Notes in Computer Science, 1995
- Static and dynamic processor allocation for higher-order concurrent languagesLecture Notes in Computer Science, 1995
- Higher-order concurrent linear logic programmingPublished by Springer Nature ,1995
- Analyzing the communication topology of concurrent programsPublished by Association for Computing Machinery (ACM) ,1995
- Once upon a typePublished by Association for Computing Machinery (ACM) ,1995
- Compiling with ContinuationsPublished by Cambridge University Press (CUP) ,1991