Elsevier
Theoretical Computer Science
Computer Security

Bonsangue, M., Arbab, F., de Bakker, J., Rutten, J., Scutellà, A., & Zavattaro, G. (2000). A transition system semantics for the control-driven coordination language Manifold. Theoretical Computer Science, 240(1), 3–47.