Language Primitives and Type Discipline for Structured Communication-Based Programming
No abstract available.
Related papers
- A uniform type structure for secure information flow POPL 2002
- The type discipline of behavioral separation POPL 2013
- Label-dependent session types POPL 2020
- Multiparty motion coordination: from choreographies to robotics programs OOPSLA 2020
- Bisimulation Can't Be Traced POPL 1988
- A Typing Discipline for Hardware Interfaces ECOOP 2019
- Limitations of Synchronous Communication with Static Process Structure in Languages for Distributed Computing POPL 1986
- Multiparty asynchronous session types POPL 2008