@(biptools,
 year         = {2015},
 title        = {{BIP} toolset},
 url          = {http://www-verimag.imag.fr/BIP-Tools,93.html},
)
@(reotools,
 year         = {2015},
 title        = {{R}eo toolset},
 url          = {http://reo.project.cwi.nl/reo/wiki/Tools},
)
@article(Reo,
 author       = {Farhad Arbab},
 year         = {2004},
 title        = {{R}eo: a channel-based coordination model for component composition},
 journal      = {Math. Structures Comput. Sci.},
 volume       = {14},
 number       = {3},
 pages        = {329--366},
 doi          = {10.1017/S0960129504004153},
)
@inproceedings(Arbab11,
 author       = {Farhad Arbab},
 year         = {2011},
 title        = {Puff, The Magic Protocol},
 booktitle    = {Talcott Festschrift},
 series       = {Lecture Notes in Comput. Sci.},
 volume       = {7000},
 publisher    = {Springer},
 pages        = {169--206},
 doi          = {10.1007/978-3-642-24933-4\_9},
)
@incollection(ABCLM09,
 author       = {Farhad Arbab and Roberto Bruni and Dave Clarke and Ivan Lanese and Ugo Montanari},
 year         = {2009},
 title        = {Tiles for {R}eo},
 booktitle    = {Proc. of WADT},
 series       = {Lecture Notes in Comput. Sci.},
 volume       = {5486},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {37--55},
 doi          = {10.1007/978-3-642-03429-9\_4},
)
@article(ABBJS14,
 author       = {Paul Attie and Eduard Baranov and Simon Bliudze and Mohamad Jaber and Joseph Sifakis},
 year         = {2014},
 title        = {A General Framework for Architecture Composability},
 volume       = {8702},
 pages        = {128--143},
 doi          = {10.1007/978-3-319-10431-7\_10},
)
@article(BKK14,
 author       = {Christel Baier and Joachim Klein and Sascha Kl{\"{u}}ppelholz},
 year         = {2014},
 title        = {Synthesis of Reo Connectors for Strategies and Controllers},
 journal      = {Fundam. Inform.},
 volume       = {130},
 number       = {1},
 pages        = {1--20},
 doi          = {10.3233/FI-2014-980},
)
@article(BSAR06,
 author       = {Christel Baier and Marjan Sirjani and Farhad Arbab and Jan Rutten},
 year         = {2006},
 title        = {Modeling component connectors in {R}eo by constraint automata},
 journal      = {Sci. Comput. Programming},
 volume       = {61},
 number       = {2},
 pages        = {75--113},
 doi          = {10.1016/j.scico.2005.10.008},
)
@inproceedings(bip06,
 author       = {Ananda Basu and Marius Bozga and Joseph Sifakis},
 year         = {2006},
 title        = {Modeling Heterogeneous Real-time Components in {BIP}},
 booktitle    = {Proc. of SEFM},
 publisher    = {ACM},
 pages        = {3--12},
 doi          = {10.1109/SEFM.2006.27},
)
@inproceedings(BliSif07-acp-emsoft,
 author       = {Simon Bliudze and Joseph Sifakis},
 year         = {2007},
 title        = {The algebra of connectors: structuring interaction in {BIP}},
 booktitle    = {Proc. of EMSOFT},
 organization = {ACM SigBED},
 publisher    = {ACM},
 address      = {Salzburg, Austria},
 pages        = {11--20},
 doi          = {10.1145/1289927.1289935},
)
@inproceedings(BBJS14,
 author       = {Simon Bliudze and Joseph Sifakis and Marius Bozga and Mohamad Jaber},
 year         = {2014},
 title        = {Architecture Internalisation in {BIP}},
 booktitle    = {Proc. of CBSE},
 publisher    = {ACM},
 pages        = {169--178},
 doi          = {10.1145/2602458.2602477},
)
@inproceedings(BMM11,
 author       = {Roberto Bruni and Hern\'an Melgratti and Ugo Montanari},
 year         = {2011},
 title        = {Connector Algebras, {P}etri {N}ets, and {BIP}},
 booktitle    = {Proc. of PSI},
 series       = {LNCS},
 volume       = {7162},
 publisher    = {Springer},
 pages        = {19--38},
 doi          = {10.1007/978-3-642-29709-0\_2},
)
@incollection(CRB+08,
 author       = {M. Y. Chkouri and A. Robert and M. Bozga and J. Sifakis},
 year         = {2009},
 title        = {Translating {AADL} into {BIP} - Application to the Verification of Real-Time Systems},
 booktitle    = {Proc. of MODELS},
 series       = {LNCS},
 volume       = {5421},
 publisher    = {Springer},
 pages        = {5--19},
 doi          = {10.1007/978-3-642-01648-6\_2},
)
@techreport(bip2reo,
 author       = {K. Dokter and S.-S. T.Q. Jongmans and F. Arbab and S. Bliudze},
 year         = {2015},
 title        = {Relating {BIP} and {Reo}},
 type         = {Technical Report},
 number       = {FM-1505},
 institution  = {CWI},
 url          = {http://persistent-identifier.org/?identifier=urn:nbn:nl:ui:18-23505},
)
@inproceedings(Garlan,
 author       = {David Garlan},
 year         = {2014},
 title        = {Software Architecture: A Travelogue},
 booktitle    = {Proc. of FOSE},
 publisher    = {ACM},
 pages        = {29--39},
 doi          = {10.1145/2593882.2593886},
)
@article(JA12,
 author       = {Sung-Shik T. Q. Jongmans and Farhad Arbab},
 year         = {2012},
 title        = {Overview of Thirty Semantic Formalisms for {R}eo},
 journal      = {Sci. Ann. Comp. Sci.},
 volume       = {22},
 number       = {1},
 pages        = {201--251},
 doi          = {10.7561/SACS.2012.1.201},
)
@inproceedings(KC09,
 author       = {C. Koehler and D. Clarke},
 year         = {2009},
 title        = {Decomposing port automata},
 booktitle    = {Proc. of SAC},
 publisher    = {ACM},
 pages        = {1369--1373},
 doi          = {10.1145/1529282.1529587},
)
@inproceedings(Krause09,
 author       = {C. Krause},
 year         = {2009},
 title        = {Integrated Structure and Semantics for {R}eo Connectors and Petri Nets},
 booktitle    = {Proc. of ICE},
 pages        = {57--69},
 doi          = {10.4204/EPTCS.12.4},
)
@book(Milner89,
 author       = {R. Milner},
 year         = {1989},
 title        = {Communication and Concurrency},
 publisher    = {Prentice-Hall, Inc.},
)
@article(PA01,
 author       = {G. A. Papadopoulos and F. Arbab},
 year         = {2001},
 title        = {Configuration And Dynamic Reconfiguration Of Components Using The Coordination Paradigm},
 journal      = {Future Generation Computer Systems},
 volume       = {17},
 number       = {8},
 pages        = {1023 -- 1038},
 doi          = {10.1016/S0167-739X(01)00043-7},
)
@article(PC08,
 author       = {Proen\c{c}a, Jos{\'e} and Dave Clarke},
 year         = {2008},
 title        = {Coordination Models {O}rc and {R}eo Compared},
 journal      = {Electron. Notes Theor. Comput. Sci.},
 volume       = {194},
 number       = {4},
 pages        = {57--76},
 doi          = {10.1016/j.entcs.2008.03.099},
)
@article(TSR11,
 author       = {Carolyn Talcott and Marjan Sirjani and Shangping Ren},
 year         = {2011},
 title        = {Comparing three coordination models: {R}eo, {ARC}, and {PBRD}},
 journal      = {Sci. Comput. Programming},
 volume       = {76},
 number       = {1},
 pages        = {3--22},
 doi          = {10.1016/j.scico.2009.11.006},
)