Farhad Arbab (2004):
Reo: a channel-based coordination model for component composition.
Mathematical Structures in Computer Science 14(3),
pp. 329–366,
doi:10.1017/S0960129504004153.
Farhad Arbab (2011):
Puff, The Magic Protocol.
In: Gul Agha, Olivier Danvy & José Meseguer: Formal Modeling: Actors, Open Systems, Biological Systems - Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday,
Lecture Notes in Computer Science 7000.
Springer,
pp. 169–206,
doi:10.1007/978-3-642-24933-4_9.
Christel Baier, Tobias Blechmann, Joachim Klein & Sascha Klüppelholz (2009):
A Uniform Framework for Modeling and Verifying Components and Connectors.
In: John Field & Vasco Thudichum Vasconcelos: Proceedings of COORDINATION 2009,
Lecture Notes in Computer Science 5521.
Springer,
pp. 247–267,
doi:10.1007/978-3-642-02053-7_13.
Christel Baier, Marjan Sirjani, Farhad Arbab & Jan J. M. M. Rutten (2006):
Modeling component connectors in Reo by constraint automata.
Sci. Comput. Program. 61(2),
pp. 75–113,
doi:10.1016/j.scico.2005.10.008.
Eric Bruneton, Thierry Coupaye, Matthieu Leclercq, Vivien Quéma & Jean-Bernard Stefani (2006):
The FRACTAL component model and its support in Java.
Softw., Pract. Exper. 36(11-12),
pp. 1257–1284,
doi:10.1002/spe.767.
Philipp Chrszon, Clemens Dubslaff, Christel Baier, Joachim Klein & Sascha Klüppelholz (2016):
Modeling Role-Based Systems with Exogenous Coordination.
In: Erika Ábrahám, Marcello M. Bonsangue & Einar Broch Johnsen: Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday,
Lecture Notes in Computer Science 9660.
Springer,
pp. 122–139,
doi:10.1007/978-3-319-30734-3_10.
Kasper Dokter & Farhad Arbab (2018):
Rule-Based Form for Stream Constraints.
In: Proceedings of COORDINATION 2018.
To appear.
Sanford Friedenthal, Alan Moore & Rick Steiner (2014):
A practical guide to SysML: the systems modeling language.
Morgan Kaufmann.
C. A. R. Hoare (1978):
Communicating Sequential Processes.
Commun. ACM 21(8),
pp. 666–677,
doi:10.1145/359576.359585.
Gerard J. Holzmann (2004):
The SPIN Model Checker - primer and reference manual.
Addison-Wesley.
S.-S. T. Q. Jongmans (2016):
Automata-theoretic protocol programming.
Leiden University.
Sung-Shik T. Q. Jongmans & Farhad Arbab (2012):
Overview of Thirty Semantic Formalisms for Reo.
Sci. Ann. Comp. Sci. 22(1),
pp. 201–251,
doi:10.7561/SACS.2012.1.201.
Sung-Shik T. Q. Jongmans & Farhad Arbab (2015):
Take Command of Your Constraints!.
In: Tom Holvoet & Mirko Viroli: Proceedings of COORDINATION 2015,
Lecture Notes in Computer Science 9037.
Springer,
pp. 117–132,
doi:10.1007/978-3-319-19282-6_8.
Sung-Shik T. Q. Jongmans & Farhad Arbab (2016):
Data optimizations for constraint automata.
Logical Methods in Computer Science 12(3),
doi:10.2168/LMCS-12(3:11)2016.
Sung-Shik T. Q. Jongmans & Farhad Arbab (2016):
PrDK: Protocol Programming with Automata.
In: Marsha Chechik & Jean-François Raskin: Proceedings of TACAS 2016,
Lecture Notes in Computer Science 9636.
Springer,
pp. 547–552,
doi:10.1007/978-3-662-49674-9_33.
Sung-Shik T. Q. Jongmans & Farhad Arbab (2018):
Centralized coordination vs. partially-distributed coordination with Reo and constraint automata.
Sci. Comput. Program. 160,
pp. 48–77,
doi:10.1016/j.scico.2017.06.004.
Sung-Shik T. Q. Jongmans, Sean Halle & Farhad Arbab (2014):
Automata-Based Optimization of Interaction Protocols for Scalable Multicore Platforms.
In: Eva Kühn & Rosario Pugliese: Proceedings of COORDINATION 2014,
Lecture Notes in Computer Science 8459.
Springer,
pp. 65–82,
doi:10.1007/978-3-662-43376-8_5.