Previous Contents Next

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.


Previous Contents Next