A Calculus of Global Interaction based on Session Types.
This was submitted to DCM (ENTCS). This informally illustrates the use
of the global calculus for describing communication behaviour through
examples. Note no formal typing system for the global calculus is
listed. Neither the endpoint calculus or EPP theory is listed.