Control Flow Analysis for the Join Calculus
No abstract available.
DOI 10.1007/978-3-642-33125-1_14
Related papers
- The m-calculus: a higher-order distributed process calculus POPL 2003
- Trace-based control-flow analysis PLDI 2021
- JOIN(X): Constraint-Based Type Inference for the Join-Calculus ESOP 2001
- Versatile event correlation with algebraic effects ICFP 2018
- Expressive Synchronization Types for Inheritance in the Join Calculus APLAS 2003
- The Reflexive CHAM and the Join-Calculus POPL 1996
- Join patterns for visual basic OOPSLA 2008
- Information flow inference for free ICFP 2000