| |
| 2000 | ||
|---|---|---|
| 1 | EE | Marcello M. Bonsangue, Farhad Arbab, J. W. de Bakker, Jan J. M. M. Rutten, A. Secutella, Gianluigi Zavattaro: A transition system semantics for the control-driven coordination language MANIFOLD. Theor. Comput. Sci. 240(1): 3-47 (2000) |
| 1 | Farhad Arbab | [1] |
| 2 | J. W. de Bakker (Jaco de Bakker) | [1] |
| 3 | Marcello M. Bonsangue | [1] |
| 4 | Jan J. M. M. Rutten | [1] |
| 5 | Gianluigi Zavattaro | [1] |