Farhad Arbab (2011):
Puff, The Magic Protocol.
In: Talcott Festschrift,
LNCS 7000.
Springer,
pp. 169–206,
doi:10.1007/978-3-642-24933-4_9.
Farhad Arbab, Natallia Kokash & Sun Meng (2008):
Towards Using Reo for Compliance-Aware Business Process Modeling.
In: Proceedings of ISoLA 2008,
CCIS 17.
Springer,
pp. 108–123,
doi:10.1007/978-3-540-88479-8_9.
Christel Baier, Marjan Sirjani, Farhad Arbab & Jan Rutten (2006):
Modeling component connectors in Reo by constraint automata.
SCP 61(2),
pp. 75–113,
doi:10.1016/j.scico.2005.10.008.
Ananda Basu, Marius Bozga & Joseph Sifakis (2006):
Modeling Heterogeneous Real-time Components in BIP.
In: Proceedings of SEFM 2006.
IEEE,
pp. 3–12,
doi:10.1109/SEFM.2006.27.
Simon Bliudze & Joseph Sifakis (2010):
Causal semantics for the algebra of connectors.
FMSD 36(2),
pp. 167–194,
doi:10.1007/s10703-010-0091-z.
Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf & Joseph Sifakis (2012):
A framework for automated distributed implementation of component-based models.
Distributed Computing 25(5),
pp. 383–409,
doi:10.1007/s00446-012-0168-6.
Borzoo Bonakdarpour, Marius Bozga & Jean Quilbeuf (in press):
Model-based implementation of distributed systems with priorities.
DAES,
doi:10.1007/s10617-012-9091-0.
Behnaz Changizi, Natallia Kokash & Farhad Arbab (2010):
A Unified Toolset for Business Process Model Formalization.
In: Preproceedings of FESCA 2010,
pp. 147–156.
Dave Clarke, David Costa & Farhad Arbab (2007):
Connector colouring I: Synchronisation and context dependency.
SCP 66(3),
pp. 205–225,
doi:10.1016/j.scico.2007.01.009.
Dave Clarke & José Proença (2012):
Partial Connector Colouring.
In: Proceedings of COORDINATION 2012,
LNCS 7274.
Springer,
pp. 59–73,
doi:10.1007/978-3-642-30829-1_5.
Dave Clarke, José Proença, Alexander Lazovik & Farhad Arbab (2011):
Channel-based coordination via constraint satisfaction.
SCP 76(8),
pp. 681–710,
doi:10.1016/j.scico.2010.05.004.
Sung-Shik Jongmans & Farhad Arbab (2013):
Global Consensus through Local Synchronization.
In: Proceedings of FOCLASA 2013,
CCIS 393.
Springer,
pp. 174–188,
doi:10.1007/978-3-642-45364-9_15.
Sung-Shik Jongmans & Farhad Arbab (2013):
Modularizing and Specifying Protocols among Threads.
In: Proceedings of PLACES 2012,
EPTCS 109.
CoRR,
pp. 34–45,
doi:10.4204/EPTCS.109.6.
Sung-Shik Jongmans, Sean Halle & Farhad Arbab (2014):
Automata-based Optimization of Interaction Protocols for Scalable Multicore Platforms.
In: Proceedings of COORDINATION 2014,
LNCS 8459.
Springer,
pp. 65–82,
doi:10.1007/978-3-662-43376-8_5.
Sung-Shik Jongmans, Sean Halle & Farhad Arbab (in press):
Reo: A Dataflow Inspired Language for Multicore.
In: Proceedings of DFM 2013.
IEEE.
Sung-Shik Jongmans, Francesco Santini & Farhad Arbab (2014):
Partially-Distributed Coordination with Reo.
In: Proceedings of PDP 2014.
IEEE,
pp. 697–706,
doi:10.1109/PDP.2014.19.
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.
Sun Meng, Farhad Arbab & Christel Baier (2011):
Synthesis of Reo circuits from scenario-based interaction specifications.
SCP 76(8),
pp. 651–680,
doi:10.1016/j.scico.2010.03.002.
José Proença (2011):
Synchronous Coordination of Distributed Components.
Leiden University.
José Proença & Dave Clarke (2013):
Data Abstraction in Coordination Constraints.
In: Proceedings of FOCLASA 2013,
CCIS 393.
Springer,
pp. 159–173,
doi:10.1007/978-3-642-45364-9_14.
José Proença & Dave Clarke (2013):
Interactive Interaction Constraints.
In: Proceedings of COORDINATION 2013,
LNCS 7890.
Springer,
pp. 211–225,
doi:10.1007/978-3-642-38493-6_15.
José Proença, Dave Clarke, Erik de Vink & Farhad Arbab (2011):
Decoupled execution of synchronous coordination models via behavioural automata.
In: Proceedings of FOCLASA 2011,
EPTCS 58.
CoRR,
pp. 65–79,
doi:10.4204/EPTCS.58.5.
José Proença, Dave Clarke, Erik de Vink & Farhad Arbab (2012):
Dreams: a framework for distributed synchronous coordination.
In: Proceedings of SAC 2012.
ACM,
pp. 1510–1515,
doi:10.1145/2245276.2232017.