References

  1. 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.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. 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.
  7. Kasper Dokter & Farhad Arbab (2018): Rule-Based Form for Stream Constraints. In: Proceedings of COORDINATION 2018. To appear.
  8. Extensible Coordination Tools ECT. http://reo.project.cwi.nl. Accessed: 2018-03-23.
  9. Sanford Friedenthal, Alan Moore & Rick Steiner (2014): A practical guide to SysML: the systems modeling language. Morgan Kaufmann.
  10. C. A. R. Hoare (1978): Communicating Sequential Processes. Commun. ACM 21(8), pp. 666–677, doi:10.1145/359576.359585.
  11. Gerard J. Holzmann (2004): The SPIN Model Checker - primer and reference manual. Addison-Wesley.
  12. S.-S. T. Q. Jongmans (2016): Automata-theoretic protocol programming. Leiden University.
  13. 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.
  14. 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.
  15. 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.
  16. 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.
  17. 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.
  18. 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.
  19. Sascha Klüppelholz (2012): Verification of Branching-Time and Alternating-Time Properties for Exogenous Coordination Models. Dresden University of Technology. Available at http://www.qucosa.de/recherche/frontdoor/?tx_slubopus4frontend[id]=8621.
  20. Philippe Kruchten (1995): The 4+1 View Model of Architecture. IEEE Software 12(6), pp. 42–50, doi:10.1109/52.469759.
  21. OMG (2006): CORBA Component Model, v4.0, OMG document formal/06-04-01. Available at http://www.omg.org/spec/CCM. Visited 11-13-2017.
  22. Terence Parr (2013): The definitive ANTLR 4 reference. Pragmatic Bookshelf.
  23. ReoLanguage GitHub repository. https://github.com/ReoLanguage/Reo. Accessed: 2018-03-23.
  24. David A. Schmidt (1986): Denotational Semantics: A Methodology for Language Development. William C. Brown Publishers, Dubuque, IA, USA.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org