A transition system semantics for the control-driven coordination language MANIFOLD

M.M. Bonsanque, F. Arbab, J.W. de Bakker, J.J.M.M. Rutten, A. Scutella, G. Zavattaro

Research output: Contribution to Journal › Article › Academic › peer-review

Original language	English
Pages (from-to)	3-47
Journal	Theoretical Computer Science
Volume	240
Issue number	1
DOIs	https://doi.org/10.1016/S0304-3975(99)00226-1
Publication status	Published - 2000

Access to Document

@article{137061e863d54f2a9dbdb7abdf6a38e3,

title = "A transition system semantics for the control-driven coordination language MANIFOLD",

author = "M.M. Bonsanque and F. Arbab and {de Bakker}, J.W. and J.J.M.M. Rutten and A. Scutella and G. Zavattaro",

year = "2000",

doi = "10.1016/S0304-3975(99)00226-1",

language = "English",

volume = "240",

pages = "3--47",

journal = "Theoretical Computer Science",

issn = "0304-3975",

publisher = "Elsevier",

number = "1",

}

TY - JOUR

T1 - A transition system semantics for the control-driven coordination language MANIFOLD

AU - Bonsanque, M.M.

AU - Arbab, F.

AU - de Bakker, J.W.

AU - Rutten, J.J.M.M.

AU - Scutella, A.

AU - Zavattaro, G.

PY - 2000

Y1 - 2000

U2 - 10.1016/S0304-3975(99)00226-1

DO - 10.1016/S0304-3975(99)00226-1

M3 - Article

VL - 240

SP - 3

EP - 47

JO - Theoretical Computer Science

JF - Theoretical Computer Science

SN - 0304-3975

IS - 1

ER -