Formalizing Propagation of Priorities in Reo, Using Eight Colors

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

103 Downloads (Pure)
Original languageEnglish
Title of host publicationIt's All About Coordination
Subtitle of host publicationEssays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab
EditorsFrank de Boer, Marcello Bonsangue, Jan Rutten
ISBN (Print)978-3-319-90089-6
Publication statusPublished - 2018

Cite this