Fundamentals of session types
- 31 August 2012
- journal article
- Published by Elsevier BV in Information and Computation
- Vol. 217, 52-70
- https://doi.org/10.1016/j.ic.2012.05.002
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Conversation typesTheoretical Computer Science, 2010
- A Linear Account of Session Types in the Pi CalculusLecture Notes in Computer Science, 2010
- Linear type theory for asynchronous session typesJournal of Functional Programming, 2009
- Subtyping for session types in the pi calculusActa Informatica, 2005
- Linearity and the pi-calculusACM Transactions on Programming Languages and Systems, 1999
- π-Calculus, internal mobility, and agent-passing calculiTheoretical Computer Science, 1996
- Functions as processesMathematical Structures in Computer Science, 1992