The GKS Input Model in Manifold

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, to evaluate the suitability of the Manifold language as a tool for defining complex dynamic interaction patterns that are common in non‐trivial user interfaces.