# 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.