Formalizing Propagation of Priorities in Reo, Using Eight Colors

Sung-Shik Jongmans

Formalizing Propagation of Priorities in Reo, Using Eight Colors

Research Line Resilience (part of LIRS program)

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

92 Downloads (Pure)

Original language	English
Title of host publication	It's All About Coordination
Subtitle of host publication	Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab
Editors	Frank de Boer, Marcello Bonsangue, Jan Rutten
Publisher	Springer
Pages	122-138
ISBN (Print)	978-3-319-90089-6
Publication status	Published - 2018

Access to Document

arbab2018.pdfAccepted author manuscript, 337 KBLicence: CC BY-ND

Cite this

@inbook{be8ede46a4904c26a266c5e30ee1ed2c,

title = "Formalizing Propagation of Priorities in Reo, Using Eight Colors",

author = "Sung-Shik Jongmans",

year = "2018",

language = "English",

isbn = "978-3-319-90089-6",

pages = "122--138",

editor = "{de Boer}, Frank and Marcello Bonsangue and Jan Rutten",

booktitle = "It's All About Coordination",

publisher = "Springer",

}

Formalizing Propagation of Priorities in Reo, Using Eight Colors. / Jongmans, Sung-Shik.

It's All About Coordination: Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab. ed. / Frank de Boer; Marcello Bonsangue; Jan Rutten. Springer, 2018. p. 122-138.

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review