Puff, The Magic Protocol

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