The Join-Calculus language
release 1.05
Documentation and user's manual
C馘ric 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.

AltStyle によって変換されたページ (->オリジナル) /