A transition system semantics for the control-driven coordination language MANIFOLD
scientific article; zbMATH DE number 1493149