We present GCCS, a graphical coordination language for hierarchical concurrent systems. GCCS, which is implemented in the
Concurrency Factory design environment, represents a coordination model based on process algebra. Its coordination laws, given
as a structural operational semantics, allow one to infer atomic system transitions on the basis of transitions taken by system
components. We illustrate the language’s utility by exhibiting a GCCS-coordinated specification of the Rether real-time ethernet
protocol. The specification contains both graphical and textual components.