This paper describes the specification of the GKS input model in Manifold. The aim of the work reported in this paper was two-fold: first, to review the communication patterns implied by the GKS input model, and second, ...