Subtyping for session types in the pi calculus
- 11 October 2005
- journal article
- Published by Springer Science and Business Media LLC in Acta Informatica
- Vol. 42 (2-3), 191-225
- https://doi.org/10.1007/s00236-005-0177-z
Abstract
No abstract availableKeywords
This publication has 26 references indexed in Scilit:
- Typechecking Safe Process SynchronizationElectronic Notes in Theoretical Computer Science, 2005
- A Distributed Object-Oriented Language with Session TypesLecture Notes in Computer Science, 2005
- Correspondence assertions for process synchronization in concurrent communicationsJournal of Functional Programming, 2005
- Typing correspondence assertions for communication protocolsTheoretical Computer Science, 2003
- Type-safe multithreading in cyclonePublished by Association for Computing Machinery (ACM) ,2003
- Types as modelsPublished by Association for Computing Machinery (ACM) ,2002
- Enforcing high-level protocols in low-level softwarePublished by Association for Computing Machinery (ACM) ,2001
- Types and Subtypes for Client-Server InteractionsLecture Notes in Computer Science, 1999
- A sort inference algorithm for the polyadic π-calculusPublished by Association for Computing Machinery (ACM) ,1993
- Linear logicTheoretical Computer Science, 1987