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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
N. Kokash (2014):
Handshaking Protocol for Distributed Implementation of Reo.
Technical Report TR 2014-01.
LIACS, Leiden University.
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.
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.
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.
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.