Contents

• 1  Introduction
• 2  A rapid tour of the join-calculus
  • 2.1  Syntax
  • 2.2  Semantics
  • 2.3  The join programming languages
• 3  Pattern matching in join definitions
  • 3.1  Principle
  • 3.2  Towards deterministic automata
  • 3.3  Automata and semantics
• 4  Runtime definitions
  • 4.1  Basics
  • 4.2  Definitions in join
  • 4.3  Definitions in jocaml
• 5  The pragmatics of compilation
  • 5.1  Refined status
  • 5.2  Taking advantage of semantical analysis
  • 5.3  Avoiding status space explosion
• 6  Optimizing further
• 7  Conclusion and future work