Expressive Synchronization Types for Inheritance in the Join Calculus
No abstract available.
Related papers
- Join patterns for visual basic OOPSLA 2008
- Iterating on multiple collections in synchrony JFP 2022
- A Concurrent Calculus with Atomic Transactions ESOP 2007
- JOIN(X): Constraint-Based Type Inference for the Join-Calculus ESOP 2001
- Inheritance and Synchronization with Enabled Sets OOPSLA 1989
- Scalable join patterns OOPSLA 2011
- Mailbox Types for Unordered Interactions ECOOP 2018
- The m-calculus: a higher-order distributed process calculus POPL 2003