JOIN(X): Constraint-Based Type Inference for the Join-Calculus
No abstract available.
Related papers
- Expressive Synchronization Types for Inheritance in the Join Calculus APLAS 2003
- Scalable join patterns OOPSLA 2011
- Control Flow Analysis for the Join Calculus SAS 2012
- The Reflexive CHAM and the Join-Calculus POPL 1996
- The m-calculus: a higher-order distributed process calculus POPL 2003
- Functional Nets ESOP 2000
- Join patterns for visual basic OOPSLA 2008
- Mailbox Types for Unordered Interactions ECOOP 2018