A transition system semantics for the control-driven coordination language MANIFOLD. - Marcello M. Bonsangue; Farhad Arbab; J. W. de Bakker; Jan J. M. M. Rutten; A. Secutella; Gianluigi Zavattaro (Theor. Comput. Sci., 2000)