Linearity and the pi-calculus
- 1 September 1999
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Programming Languages and Systems
- Vol. 21 (5) , 914-947
- https://doi.org/10.1145/330249.330251
Abstract
No abstract availableKeywords
This publication has 28 references indexed in Scilit:
- A calculus of mobile processes, IPublished by Elsevier ,2004
- A partially deadlock-free typed process calculusACM Transactions on Programming Languages and Systems, 1998
- Type-based analysis of communication for concurrent programming languagesPublished by Springer Nature ,1997
- Syntactic Control of Interference RevisitedElectronic Notes in Theoretical Computer Science, 1995
- Concurrent objects in a process calculusPublished by Springer Nature ,1995
- Lilac: a functional programming language based on linear logicJournal of Functional Programming, 1994
- Computational interpretations of linear logicTheoretical Computer Science, 1993
- Lively linear LispACM SIGPLAN Notices, 1992
- Linear logicTheoretical Computer Science, 1987
- Viewing control structures as patterns of passing messagesArtificial Intelligence, 1977