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 JournalArticleAcademicpeer-review

Original languageEnglish
Pages (from-to)3-47
JournalTheoretical Computer Science
Volume240
Issue number1
DOIs
Publication statusPublished - 2000

Cite this