F. Arbab
2004
Reo: A Channel-based Coordination Model for Component Composition
Mathematical Structures in Computer Science
14
329–366
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
59–82
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
Proc. COORDINATION 2009
LNCS
5521
Springer
268–287
10.1007/978-3-642-02053-7_14
F. Arbab
T. Chothia
M. Sun
Y-J. Moon
2007
Component Connectors with QoS Guarantees
Proc. COORDINATION 2007
LNCS
4467
Springer
286–304
10.1007/978-3-540-72794-1_16
F. Arbab
N. Kokash
M. Sun
2008
Towards Using Reo for Compliance-aware Business Process Modelling
Proc. ISoLA 2008
CCIS
17
Springer
108–123
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
75–113
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
21–40
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
10.1016/j.scico.2010.05.004
S.-S. T. Q. Jongmans
F. Arbab
2013
Global Consensus Through Local Synchronization
Proc. FOCLASA 2012
393
174 – 188
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
Proc. DFM 2012
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
Proc. COORDINATION 2014
LNCS
8459
Springer
65–82
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
Proc. ESOCC 2012
LNCS
7592
Springer
1 – 16
10.1109/PDP.2014.19
Sung-Shik Jongmans
Farhad Arbab
2013
Modularizing and Specifying Protocols among Threads
Proc. PLACES 2012
EPTCS
109
34–45
10.4204/eptcs.109.6
Sung-Shik T. Q. Jongmans
Francesco Santini
Farhad Arbab
2014
Partially-Distributed Coordination with Reo
Proc. PDP 2014
IEEE
697–706
10.1109/PDP.2014.19
R. Khosravi
M. Sirjani
N. Asoudeh
S. Sahebi
H. Iravanchi
2008
Modeling and analysis of Reo connectors using Alloy
Proc. COORDINATION 2008
LNCS
5052
169–183
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
Proc. ICFEM'10
LNCS
Springer
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
Proc. of SAC 2010
ACM Press
2406–2413
10.1145/1774088.1774590
Z. Maraikar
A. Lazovik
F. Arbab
2008
Building mashups for the enterprise with SABRE
Proc. ICSOC 2008
LNCS
5364
70–83
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
83–99
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
Proc. SAC 2012
ACM
10.1145/2245276.2232017