@article(DBLP:journals/mscs/Arbab04,
 author       = {Farhad Arbab},
 year         = {2004},
 title        = {Reo: a channel-based coordination model for component composition},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {14},
 number       = {3},
 pages        = {329--366},
 doi          = {10.1017/S0960129504004153},
)
@inproceedings(DBLP:conf/birthday/Arbab11,
 author       = {Farhad Arbab},
 year         = {2011},
 title        = {Puff, The Magic Protocol},
 editor       = {Gul Agha and Olivier Danvy and Jos{\'{e}} Meseguer},
 booktitle    = {Formal Modeling: Actors, Open Systems, Biological Systems - Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday},
 series       = {Lecture Notes in Computer Science},
 volume       = {7000},
 publisher    = {Springer},
 pages        = {169--206},
 doi          = {10.1007/978-3-642-24933-4_9},
)
@inproceedings(DBLP:conf/coordination/BaierBKK09,
 author       = {Christel Baier and Tobias Blechmann and Joachim Klein and Sascha Kl{\"{u}}ppelholz},
 year         = {2009},
 title        = {A Uniform Framework for Modeling and Verifying Components and Connectors},
 editor       = {John Field and Vasco Thudichum Vasconcelos},
 booktitle    = {Proceedings of {COORDINATION} 2009},
 series       = {Lecture Notes in Computer Science},
 volume       = {5521},
 publisher    = {Springer},
 pages        = {247--267},
 doi          = {10.1007/978-3-642-02053-7_13},
)
@article(DBLP:journals/scp/BaierSAR06,
 author       = {Christel Baier and Marjan Sirjani and Farhad Arbab and Jan J. M. M. Rutten},
 year         = {2006},
 title        = {Modeling component connectors in Reo by constraint automata},
 journal      = {Sci. Comput. Program.},
 volume       = {61},
 number       = {2},
 pages        = {75--113},
 doi          = {10.1016/j.scico.2005.10.008},
)
@article(DBLP:journals/spe/BrunetonCLQS06,
 author       = {Eric Bruneton and Thierry Coupaye and Matthieu Leclercq and Vivien Qu{\'{e}}ma and Jean{-}Bernard Stefani},
 year         = {2006},
 title        = {The {FRACTAL} component model and its support in Java},
 journal      = {Softw., Pract. Exper.},
 volume       = {36},
 number       = {11-12},
 pages        = {1257--1284},
 doi          = {10.1002/spe.767},
)
@inproceedings(DBLP:conf/birthday/ChrszonDB0K16,
 author       = {Philipp Chrszon and Clemens Dubslaff and Christel Baier and Joachim Klein and Sascha Kl{\"{u}}ppelholz},
 year         = {2016},
 title        = {Modeling Role-Based Systems with Exogenous Coordination},
 editor       = {Erika {\'{A}}brah{\'{a}}m and Marcello M. Bonsangue and Einar Broch Johnsen},
 booktitle    = {Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday},
 series       = {Lecture Notes in Computer Science},
 volume       = {9660},
 publisher    = {Springer},
 pages        = {122--139},
 doi          = {10.1007/978-3-319-30734-3_10},
)
@inproceedings(DA18,
 author       = {Kasper Dokter and Farhad Arbab},
 year         = {2018},
 title        = {Rule-Based Form for Stream Constraints},
 booktitle    = {Proceedings of {COORDINATION} 2018},
 note         = {To appear},
)
@misc(ECT,
 title        = {Extensible Coordination Tools {ECT}},
 howpublished = {\url{http://reo.project.cwi.nl}},
 note         = {Accessed: 2018-03-23},
)
@book(FMS14,
 author       = {Sanford Friedenthal and Alan Moore and Rick Steiner},
 year         = {2014},
 title        = {A practical guide to SysML: the systems modeling language},
 publisher    = {Morgan Kaufmann},
)
@article(DBLP:journals/cacm/Hoare78,
 author       = {C. A. R. Hoare},
 year         = {1978},
 title        = {Communicating Sequential Processes},
 journal      = {Commun. {ACM}},
 volume       = {21},
 number       = {8},
 pages        = {666--677},
 doi          = {10.1145/359576.359585},
)
@book(DBLP:books/daglib/0020982,
 author       = {Gerard J. Holzmann},
 year         = {2004},
 title        = {The {SPIN} Model Checker - primer and reference manual},
 publisher    = {Addison-Wesley},
)
@phdthesis(Jongmans16,
 author       = {S.{-}S. T. Q. Jongmans},
 year         = {2016},
 title        = {Automata-theoretic protocol programming},
 school       = {Leiden University},
)
@article(DBLP:journals/cuza/JongmansA12,
 author       = {Sung{-}Shik T. Q. Jongmans and Farhad Arbab},
 year         = {2012},
 title        = {Overview of Thirty Semantic Formalisms for Reo},
 journal      = {Sci. Ann. Comp. Sci.},
 volume       = {22},
 number       = {1},
 pages        = {201--251},
 doi          = {10.7561/SACS.2012.1.201},
)
@inproceedings(DBLP:conf/coordination/JongmansA15,
 author       = {Sung{-}Shik T. Q. Jongmans and Farhad Arbab},
 year         = {2015},
 title        = {Take Command of Your Constraints!},
 editor       = {Tom Holvoet and Mirko Viroli},
 booktitle    = {Proceedings of {COORDINATION} 2015},
 series       = {Lecture Notes in Computer Science},
 volume       = {9037},
 publisher    = {Springer},
 pages        = {117--132},
 doi          = {10.1007/978-3-319-19282-6_8},
)
@article(DBLP:journals/corr/JongmansA16,
 author       = {Sung{-}Shik T. Q. Jongmans and Farhad Arbab},
 year         = {2016},
 title        = {Data optimizations for constraint automata},
 journal      = {Logical Methods in Computer Science},
 volume       = {12},
 number       = {3},
 doi          = {10.2168/LMCS-12(3:11)2016},
)
@inproceedings(DBLP:conf/tacas/JongmansA16,
 author       = {Sung{-}Shik T. Q. Jongmans and Farhad Arbab},
 year         = {2016},
 title        = {PrDK: Protocol Programming with Automata},
 editor       = {Marsha Chechik and Jean{-}Fran{\c{c}}ois Raskin},
 booktitle    = {Proceedings of {TACAS} 2016},
 series       = {Lecture Notes in Computer Science},
 volume       = {9636},
 publisher    = {Springer},
 pages        = {547--552},
 doi          = {10.1007/978-3-662-49674-9_33},
)
@article(DBLP:journals/scp/JongmansA18,
 author       = {Sung{-}Shik T. Q. Jongmans and Farhad Arbab},
 year         = {2018},
 title        = {Centralized coordination vs. partially-distributed coordination with Reo and constraint automata},
 journal      = {Sci. Comput. Program.},
 volume       = {160},
 pages        = {48--77},
 doi          = {10.1016/j.scico.2017.06.004},
)
@inproceedings(DBLP:conf/coordination/JongmansHA14,
 author       = {Sung{-}Shik T. Q. Jongmans and Sean Halle and Farhad Arbab},
 year         = {2014},
 title        = {Automata-Based Optimization of Interaction Protocols for Scalable Multicore Platforms},
 editor       = {Eva K{\"{u}}hn and Rosario Pugliese},
 booktitle    = {Proceedings of {COORDINATION} 2014},
 series       = {Lecture Notes in Computer Science},
 volume       = {8459},
 publisher    = {Springer},
 pages        = {65--82},
 doi          = {10.1007/978-3-662-43376-8_5},
)
@phdthesis(DBLP:books/daglib/0031251,
 author       = {Sascha Kl{\"{u}}ppelholz},
 year         = {2012},
 title        = {Verification of Branching-Time and Alternating-Time Properties for Exogenous Coordination Models},
 school       = {Dresden University of Technology},
 url          = {http://www.qucosa.de/recherche/frontdoor/?tx_slubopus4frontend[id]=8621},
)
@article(DBLP:journals/software/Kruchten95,
 author       = {Philippe Kruchten},
 year         = {1995},
 title        = {The 4+1 View Model of Architecture},
 journal      = {{IEEE} Software},
 volume       = {12},
 number       = {6},
 pages        = {42--50},
 doi          = {10.1109/52.469759},
)
@misc(OMG06,
 author       = {OMG},
 year         = {2006},
 title        = {{CORBA} Component Model, v4.0, {OMG} document formal/06-04-01},
 url          = {http://www.omg.org/spec/CCM},
 note         = {Visited 11-13-2017},
)
@book(Parr13,
 author       = {Terence Parr},
 year         = {2013},
 title        = {The definitive ANTLR 4 reference},
 publisher    = {Pragmatic Bookshelf},
)
@misc(GitHub,
 title        = {ReoLanguage GitHub repository},
 howpublished = {\url{https://github.com/ReoLanguage/Reo}},
 note         = {Accessed: 2018-03-23},
)
@book(Schmidt97,
 author       = {David A. Schmidt},
 year         = {1986},
 title        = {Denotational Semantics: A Methodology for Language Development},
 publisher    = {William C. Brown Publishers},
 address      = {Dubuque, IA, USA},
)