This paper presents the programming language induced by the ordered structure of the Geometric Machine Model (GMM). The GMM is an abstract machine model, based on Girard’s coherence space, capable of modelling sequential, alternative, parallel (synchronous) and non-deterministic computations on a (possibly infinite) shared memory. The processes of the GMM are inductively constructed in a Cohere...