References

  1. F. Arbab (2004): Reo: A Channel-based Coordination Model for Component Composition. Mathematical Structures in Computer Science 14, pp. 329–366, doi:10.1017/S0960129504004153.
  2. F. Arbab, C. Baier, F. de Boer & J. Rutten (2007): Models and Temporal Logical Specifications for Timed Component Connectors. Software and Systems Modeling 6(1), pp. 59–82, doi:10.1007/s10270-006-0009-9.
  3. F. Arbab, T. Chothia, R. van der Mei, M. Sun, Y.J. Moon & C. Verhoef (2009): From Coordination to Stochastic Models of QoS. In: Proc. COORDINATION 2009, LNCS 5521. Springer, pp. 268–287, doi:10.1007/978-3-642-02053-7_14.
  4. F. Arbab, T. Chothia, M. Sun & Y-J. Moon (2007): Component Connectors with QoS Guarantees. In: Proc. COORDINATION 2007, LNCS 4467. Springer, pp. 286–304, doi:10.1007/978-3-540-72794-1_16.
  5. F. Arbab, N. Kokash & M. Sun (2008): Towards Using Reo for Compliance-aware Business Process Modelling. In: Proc. ISoLA 2008, CCIS 17. Springer, pp. 108–123, doi:10.1.1.298.428.
  6. C. Baier, M. Sirjani, F. Arbab & J. Rutten (2006): Modeling Component Connectors in Reo by Constraint Automata. Science of Computer Programming 61(2), pp. 75–113, doi:10.1016/j.scico.2005.10.008.
  7. A. Baragatti, R. Bruni, H. Melgratti, U. Montanari & G. Spagnolo (2007): Prototype platforms for distributed agreements. ENTCS 180, pp. 21–40, doi:10.1016/j.entcs.2006.10.044.
  8. D. Clarke, J. Proença, A. Lazovik & F. Arbab (2011): Channel-based coordination via constraint satisfaction. Science of Computer Programming 76, doi:10.1016/j.scico.2010.05.004.
  9. S.-S. T. Q. Jongmans & F. Arbab (2013): Global Consensus Through Local Synchronization. In: Proc. FOCLASA 2012 393, pp. 174 – 188, doi:10.1007/978-3-642-45364-9_15.
  10. S.-S. T. Q. Jongmans, S. Halle & F. Arbab (2013): Reo: A Dataflow Inspired Language For Multicore. In: Proc. DFM 2012, doi:10.1109/DFM.2013.14.
  11. S.-S. T. Q. Jongmans, S. Halle & F. Arbab (2014): Automata-Based Optimization Of Interaction Protocols For Scalable Multicore Platforms. In: Proc. COORDINATION 2014, LNCS 8459. Springer, pp. 65–82, doi:10.1007/978-3-662-43376-8_5.
  12. S.-S. T. Q. Jongmans, F. Santini, M Sargolzaei, F. Arbab & H. Afsarmanesh (2012): Orchestrating web services using Reo: from circuits and behaviors to automatically generated code. In: Proc. ESOCC 2012, LNCS 7592. Springer, pp. 1 – 16, doi:10.1109/PDP.2014.19.
  13. Sung-Shik Jongmans & Farhad Arbab (2013): Modularizing and Specifying Protocols among Threads. In: Proc. PLACES 2012, EPTCS 109, pp. 34–45, doi:10.4204/eptcs.109.6.
  14. Sung-Shik T. Q. Jongmans, Francesco Santini & Farhad Arbab (2014): Partially-Distributed Coordination with Reo. In: Proc. PDP 2014. IEEE, pp. 697–706, doi:10.1109/PDP.2014.19.
  15. R. Khosravi, M. Sirjani, N. Asoudeh, S. Sahebi & H. Iravanchi (2008): Modeling and analysis of Reo connectors using Alloy. In: Proc. COORDINATION 2008, LNCS 5052, pp. 169–183, doi:10.1007/978-3-540-68265-3_11.
  16. Changizi B. Kokash, N. & F.: Arbab (2010): A Semantic Model for Service Composition with Coordination Time Delays. In: Proc. ICFEM'10, LNCS. Springer, doi:10.1007/978-3-642-16901-4_9.
  17. N. Kokash (2014): Handshaking Protocol for Distributed Implementation of Reo. Technical Report TR 2014-01. LIACS, Leiden University.
  18. N. Kokash, C. Krause & E.P. de Vink (2010): Data-Aware Design and Verification of Service Composition with Reo and mCRL2. In: Proc. of SAC 2010. ACM Press, pp. 2406–2413, doi:10.1145/1774088.1774590.
  19. Z. Maraikar, A. Lazovik & F. Arbab (2008): Building mashups for the enterprise with SABRE. In: Proc. ICSOC 2008, LNCS 5364, pp. 70–83, doi:10.1007/978-3-540-89652-4_9.
  20. M. Mousavi, M. Sirjani & F. Arbab (2006): Formal semantics and analysis of component connectors in Reo. ENTCS 154(1), pp. 83–99, doi:10.1016/j.entcs.2005.12.034.
  21. Jose Proença, Dave Clarke, Erik de Vink & Farhad Arbab (2012): Dreams: a framework for distributed synchronous coordination. In: Proc. SAC 2012. ACM, doi:10.1145/2245276.2232017.

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