This section describes the kinds of values that are manipulated by join-calculus programs.
Character strings String values are finite sequences of characters.
Booleans Booleans values are denoted by true and false . Port names Port names are the main value of the join-calculus. They can be seen as channels that carry arguments. Sending messages on an asynchronous port name is the basic instruction of the language. Locations Locations provide support for distributed programming in the join-calculus.