The Join-Calculus language
release 1.05
Documentation and user's manual
Cédric Fournet and Luc Maranget
Copyright © 1997 Institut National de
Recherche en Informatique et Automatique
This manual is also available in
Postscript,
DVI,
and as a
bundle
of HTML files.
Part I
An introduction to the Join-Calculus
Part II
User Manual
Part III
Tools
This document was translated from LATEX by
HEVEA and HACHA.