...expression.

This use of ? and ! for input and output in the pi-calculus is after Turner [Tur95].

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.