References

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