Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication
Open Access
- 29 June 2007
- journal article
- research article
- Published by Elsevier BV in Electronic Notes in Theoretical Computer Science
- Vol. 171 (4), 73-93
- https://doi.org/10.1016/j.entcs.2007.02.056
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Structured Communication-Centred Programming for Web ServicesLecture Notes in Computer Science, 2007
- Type checking a multithreaded functional language with session typesTheoretical Computer Science, 2006
- Subtyping for session types in the pi calculusActa Informatica, 2005
- Nominal rewriting with name generationPublished by Association for Computing Machinery (ACM) ,2005
- Correspondence assertions for process synchronization in concurrent communicationsJournal of Functional Programming, 2005
- Nominal rewriting systemsPublished by Association for Computing Machinery (ACM) ,2004
- π-Calculus, internal mobility, and agent-passing calculiTheoretical Computer Science, 1996