The Join-Calculus language
documentation and user's guide

Release 1.03-1

Cedric Fournet and Luc Maranget

Copyright © 1997 Institut National de Recherche en Informatique et Automatique

• Foreword

An introduction to the Join-Calculus

• Concurrent programming
• Distributed programming

User's Manual

• The Join-Calculus language
• The core library
• The standard library
• Interfacing the Join-Calculus with Objective Caml

Tools

• The compiler (jcc), standard usage
• The compiler (jcc), advanced usage
• The dependency generator (jcdep)
• The runtime systems (jcrun)