Chapter 3 The Join-Calculus language
Foreword
This document is intended as a reference manual for the Join-Calculus
language. It lists the language constructs, and gives their precise
syntax and informal semantics. It is by no means a tutorial
introduction to the language: there is not a single example. A good
working knowledge of the join-calculus is assumed.
Notations
The syntax of the language is given in BNF-like notation. Terminal
symbols are set in typewriter font (like this).
Non-terminal symbols are set in italic font (like that ).
Square brackets [ ...] denote optional components. Curly brackets
{ ...} denotes zero, one or several repetitions of the enclosed
components. Curly bracket with a trailing plus sign { ...}+
denote one or several repetitions of the enclosed components.
Parentheses ( ...) denote grouping.