@incollection(Arb11,
 author       = "Farhad Arbab",
 year         = "2011",
 title        = "{Puff, The Magic Protocol}",
 booktitle    = "{Talcott Festschrift}",
 series       = "{LNCS}",
 volume       = "7000",
 publisher    = "Springer",
 pages        = "169--206",
 doi          = "10.1007/978-3-642-24933-4\_9",
)
@incollection(AKM08,
 author       = "Farhad Arbab and Natallia Kokash and Sun Meng",
 year         = "2008",
 title        = "{Towards Using Reo for Compliance-Aware Business Process Modeling}",
 booktitle    = "{Proceedings of ISoLA 2008}",
 series       = "{CCIS}",
 volume       = "17",
 publisher    = "{Springer}",
 pages        = "108--123",
 doi          = "10.1007/978-3-540-88479-8\_9",
)
@article(BSAR06,
 author       = "Christel Baier and Marjan Sirjani and Farhad Arbab and Jan Rutten",
 year         = "2006",
 title        = "{Modeling component connectors in Reo by constraint automata}",
 journal      = "{SCP}",
 volume       = "61",
 number       = "2",
 pages        = "75--113",
 doi          = "10.1016/j.scico.2005.10.008",
)
@inproceedings(BBS06,
 author       = "Ananda Basu and Marius Bozga and Joseph Sifakis",
 year         = "2006",
 title        = "{Modeling Heterogeneous Real-time Components in BIP}",
 booktitle    = "{Proceedings of SEFM 2006}",
 publisher    = "{IEEE}",
 pages        = "3--12",
 doi          = "10.1109/SEFM.2006.27",
)
@article(BS10,
 author       = "Simon Bliudze and Joseph Sifakis",
 year         = "2010",
 title        = "{Causal semantics for the algebra of connectors}",
 journal      = "{FMSD}",
 volume       = "36",
 number       = "2",
 pages        = "167--194",
 doi          = "10.1007/s10703-010-0091-z",
)
@article(BBJ+12,
 author       = "Borzoo Bonakdarpour and Marius Bozga and Mohamad Jaber and Jean Quilbeuf and Joseph Sifakis",
 year         = "2012",
 title        = "{A framework for automated distributed implementation of component-based models}",
 journal      = "{Distributed Computing}",
 volume       = "25",
 number       = "5",
 pages        = "383--409",
 doi          = "10.1007/s00446-012-0168-6",
)
@article(BBQ,
 author       = "Borzoo Bonakdarpour and Marius Bozga and Jean Quilbeuf",
 year         = "{in press}",
 title        = "{Model-based implementation of distributed systems with priorities}",
 journal      = "{DAES}",
 doi          = "10.1007/s10617-012-9091-0",
)
@inproceedings(CKA10,
 author       = "Behnaz Changizi and Natallia Kokash and Farhad Arbab",
 year         = "2010",
 title        = "{A Unified Toolset for Business Process Model Formalization}",
 booktitle    = "{Preproceedings of FESCA 2010}",
 pages        = "147--156",
)
@article(CCA07,
 author       = "Dave Clarke and David Costa and Farhad Arbab",
 year         = "2007",
 title        = "{Connector colouring I: Synchronisation and context dependency}",
 journal      = "{SCP}",
 volume       = "66",
 number       = "3",
 pages        = "205--225",
 doi          = "10.1016/j.scico.2007.01.009",
)
@incollection(CP12,
 author       = "Dave Clarke and Jos{\'{e}} Proen{\c {c}}a",
 year         = "2012",
 title        = "{Partial Connector Colouring}",
 booktitle    = "{Proceedings of COORDINATION 2012}",
 series       = "{LNCS}",
 volume       = "7274",
 publisher    = "{Springer}",
 pages        = "59--73",
 doi          = "10.1007/978-3-642-30829-1\_5",
)
@article(CPLA11,
 author       = "Dave Clarke and Jos{\'{e}} Proen{\c {c}}a and Alexander Lazovik and Farhad Arbab",
 year         = "2011",
 title        = "{Channel-based coordination via constraint satisfaction}",
 journal      = "{SCP}",
 volume       = "76",
 number       = "8",
 pages        = "681--710",
 doi          = "10.1016/j.scico.2010.05.004",
)
@incollection(JA13b,
 author       = "Sung-Shik Jongmans and Farhad Arbab",
 year         = "2013",
 title        = "{Global Consensus through Local Synchronization}",
 booktitle    = "{Proceedings of FOCLASA 2013}",
 series       = "{CCIS}",
 volume       = "393",
 publisher    = "{Springer}",
 pages        = "174--188",
 doi          = "10.1007/978-3-642-45364-9\_15",
)
@incollection(JA13a,
 author       = "Sung-Shik Jongmans and Farhad Arbab",
 year         = "2013",
 title        = "{Modularizing and Specifying Protocols among Threads}",
 booktitle    = "{Proceedings of PLACES 2012}",
 series       = "{EPTCS}",
 volume       = "109",
 publisher    = "{CoRR}",
 pages        = "34--45",
 doi          = "10.4204/EPTCS.109.6",
)
@incollection(JHA14,
 author       = "Sung-Shik Jongmans and Sean Halle and Farhad Arbab",
 year         = "2014",
 title        = "{Automata-based Optimization of Interaction Protocols for Scalable Multicore Platforms}",
 booktitle    = "{Proceedings of COORDINATION 2014}",
 series       = "{LNCS}",
 volume       = "8459",
 publisher    = "{Springer}",
 pages        = "65--82",
 doi          = "10.1007/978-3-662-43376-8\_5",
)
@inproceedings(JHA13,
 author       = "Sung-Shik Jongmans and Sean Halle and Farhad Arbab",
 year         = "{in press}",
 title        = "{Reo: A Dataflow Inspired Language for Multicore}",
 booktitle    = "{Proceedings of DFM 2013}",
 publisher    = "{IEEE}",
)
@inproceedings(JSA14,
 author       = "Sung-Shik Jongmans and Francesco Santini and Farhad Arbab",
 year         = "2014",
 title        = "{Partially-Distributed Coordination with Reo}",
 booktitle    = "{Proceedings of PDP 2014}",
 publisher    = "{IEEE}",
 pages        = "697--706",
 doi          = "10.1109/PDP.2014.19",
)
@article(KKV12,
 author       = "Natallia Kokash and Christian Krause and Erik {de Vink}",
 year         = "2012",
 title        = "{Reo+mCRL2: A framework for model-checking dataflow in service compositions}",
 journal      = "{FAC}",
 volume       = "24",
 number       = "2",
 pages        = "187--216",
 doi          = "10.1007/s00165-011-0191-6",
)
@article(MAB11,
 author       = "Sun Meng and Farhad Arbab and Christel Baier",
 year         = "2011",
 title        = "{Synthesis of Reo circuits from scenario-based interaction specifications}",
 journal      = "{SCP}",
 volume       = "76",
 number       = "8",
 pages        = "651--680",
 doi          = "10.1016/j.scico.2010.03.002",
)
@phdthesis(Pro11,
 author       = "Jos{\'{e}} Proen{\c {c}}a",
 year         = "2011",
 title        = "{Synchronous Coordination of Distributed Components}",
 school       = "{Leiden University}",
)
@incollection(PC13a,
 author       = "Jos{\'{e}} Proen{\c {c}}a and Dave Clarke",
 year         = "2013",
 title        = "{Data Abstraction in Coordination Constraints}",
 booktitle    = "{Proceedings of FOCLASA 2013}",
 series       = "{CCIS}",
 volume       = "393",
 publisher    = "{Springer}",
 pages        = "159--173",
 doi          = "10.1007/978-3-642-45364-9\_14",
)
@incollection(PC13b,
 author       = "Jos{\'{e}} Proen{\c {c}}a and Dave Clarke",
 year         = "2013",
 title        = "{Interactive Interaction Constraints}",
 booktitle    = "{Proceedings of COORDINATION 2013}",
 series       = "{LNCS}",
 volume       = "7890",
 publisher    = "{Springer}",
 pages        = "211--225",
 doi          = "10.1007/978-3-642-38493-6\_15",
)
@incollection(PCVA11,
 author       = "Jos{\'{e}} Proen{\c {c}}a and Dave Clarke and Erik {de Vink} and Farhad Arbab",
 year         = "2011",
 title        = "{Decoupled execution of synchronous coordination models via behavioural automata}",
 booktitle    = "{Proceedings of FOCLASA 2011}",
 series       = "{EPTCS}",
 volume       = "58",
 publisher    = "{CoRR}",
 pages        = "65--79",
 doi          = "10.4204/EPTCS.58.5",
)
@inproceedings(PCVA12,
 author       = "Jos{\'{e}} Proen{\c {c}}a and Dave Clarke and Erik {de Vink} and Farhad Arbab",
 year         = "2012",
 title        = "{Dreams: a framework for distributed synchronous coordination}",
 booktitle    = "{Proceedings of SAC 2012}",
 publisher    = "{ACM}",
 pages        = "1510--1515",
 doi          = "10.1145/2245276.2232017",
)