@article(Arb04, author = "Farhad Arbab", year = "2004", title = "{Reo: a channel-based coordination model for component composition}", journal = "{MSCS}", volume = "14", number = "3", pages = "329--366", doi = "10.1017/S0960129504004153", ) @article(BSAR06, author = "Christel Baier and Marjan Sirjani and Farhad Arbab and Jan Rutten", year = "2006", title = "{Modeling component connectors in Reo by constraint automata}", journal = "{SCICO}", volume = "61", number = "2", pages = "75--113", doi = "10.1016/j.scico.2005.10.008", ) @article(BC10, author = "Harsh Beohar and Pieter Cuijpers", year = "2010", title = "{A theory of desynchronisable closed loop systems}", journal = "{EPTCS}", volume = "38", number = "1", pages = "99--114", doi = "10.4204/EPTCS.38.10", ) @article(BK84, author = "Jan Bergstra and Jan Willem Klop", year = "1984", title = "{Process Algebra for Synchronous Communication}", journal = "{Information and Control}", volume = "60", number = "1--3", pages = "109--137", doi = "10.1016/S0019-9958(84)80025-X", ) @article(CCA07, author = "Dave Clarke and David Costa and Farhad Arbab", year = "2007", title = "{Connector colouring I: Synchronisation and context dependency}", journal = "{SCICO}", volume = "66", number = "3", pages = "205--225", doi = "10.1016/j.scico.2007.01.009", ) @incollection(CP12, author = "Dave Clarke and Jos{\'{e}} Proen{\c {c}}a", year = "2012", title = "{Partial Connector Colouring}", editor = "Marjan Sirjani", booktitle = "{Coordination Models and Languages}", series = "{LNCS}", volume = "7274", publisher = "{Springer}", pages = "59--73", doi = "10.1007/978-3-642-30829-1\_5", ) @incollection(FJ96, author = "{Clemens Fischer and Wil Janssen}", year = "1996", title = "{Synchronous development of asynchronous systems}", editor = "Ugo Montanari and Vladimiro Sassone", booktitle = "{CONCUR}", series = "{LNCS}", volume = "1119", publisher = "{Springer}", pages = "735--750", doi = "10.1007/3-540-61604-7\_87", ) @inproceedings(GMR+08, author = "Jan Friso Groote and Aad Mathijssen and Michel Reniers and Yaroslav Usenko and Muck van Weerdenburg", year = "2007", title = "{The Formal Specification Language mCRL2}", booktitle = "{Proceedings of MMOSS 2007}", pages = "{1--34}", url = "http://drops.dagstuhl.de/opus/volltexte/2007/862/", ) @unpublished(GM10, author = "Jan Friso Groote and Mohammad Reza Mousavi", year = "2010", title = "{Modelling and Analysis of Communicating Systems}", url = "http://www.win.tue.nl/~jfg/educ/2IW26/herfst2011/mcrl2-book.pdf", note = "{To appear}", ) @article(JA12, author = "Sung-Shik Jongmans and Farhad Arbab", year = "2012", title = "{Overview of Thirty Semantic Formalisms for Reo}", journal = "{SACS}", volume = "22", number = "1", pages = "201--251", doi = "10.7561/SACS.2012.1.201", ) @techreport(JCP12, author = "Sung-Shik Jongmans and Dave Clarke and Jos{\'{e}} Proen{\c {c}}a", year = "2012", title = "{A Procedure for Splitting Processes and its Application to Coordination (Technical Report)}", type = "Technical Report", number = "SEN-1203", institution = "{CWI}", ) @incollection(JKA11, author = "Sung-Shik Jongmans and Christian Krause and Farhad Arbab", year = "2011", title = "{Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic Models}", editor = "Wolfgang de Meuter and Gruia-Catalin Roman", booktitle = "{COORDINATION}", series = "{LNCS}", volume = "6721", publisher = "{Springer}", pages = "31--48", doi = "10.1007/978-3-642-21464-6\_3", ) @inproceedings(KKdV10a, author = "Natallia Kokash and Christian Krause and Erik de Vink", year = "2010", title = "{Data-Aware Design and Verification of Service Compositions with Reo and mCRL2}", booktitle = "{Proceedings of SAC 2010}", pages = "2406--2413", doi = "10.1145/1774088.1774590", ) @inproceedings(KKdV10b, author = "Natallia Kokash and Christian Krause and Erik de Vink", year = "2010", title = "{Time and Data-Aware Analysis of Graphical Service Models in Reo}", booktitle = "{Proceedings of SEFM 2010}", pages = "125--134", doi = "10.1109/SEFM.2010.26", ) @incollection(KKdV10c, author = "Natallia Kokash and Christian Krause and Erik de Vink", year = "2010", title = "{Verification of Context-Dependent Channel-Based Service Models}", editor = "Frank de Boer and Marcello Bonsangue and Stefan Hallerstede and Michael Leuschel", booktitle = "{FMCO}", series = "{LNCS}", volume = "6286", publisher = "{Springer}", pages = "21--40", doi = "10.1007/978-3-642-17071-3\_2", ) @article(KKdV??, author = "Natallia Kokash and Christian Krause and Erik de Vink", year = "2012", title = "{Reo+mCRL2: A framework for model-checking dataflow in service compositions}", journal = "{FAC}", volume = "24", number = "2", pages = "187--216", doi = "10.1007/s00165-011-0191-6", ) @article(MM93, author = "Robin Milner and Faron Moller", year = "1993", title = "{Unique decomposition of processes}", journal = "{TCS}", volume = "107", number = "2", pages = "357--363", doi = "10.1016/0304-3975(93)90176-T", ) @inproceedings(PCdVA12, author = "Jos{\'{e}} Proen{\c {c}}a and Dave Clarke and Erik de Vink and Farhad Arbab", year = "2012", title = "{Dreams: a framework for distributed synchronous coordination}", booktitle = "{Proceedings of SAC 2012}", pages = "1510--1515", doi = "10.1145/2245276.2232017", ) @phdthesis(Pro11, author = "Jos\'{e} Proen\c {c}a", year = "2011", title = "{Synchronous Coordination of Distributed Components}", school = "{Leiden University}", url = "http://hdl.handle.net/1887/17624", ) @phdthesis(Udd84, author = "Jan Tijmen Udding", year = "1984", title = "{Classification and Composition of Delay-Insensitive Circuits}", school = "{Eindhoven University of Technology}", url = "http://repository.tue.nl/25052", )