@article(Arb04,
 author       = "Farhad Arbab",
 year         = "2004",
 title        = "{Reo: a channel-based coordination model for component composition}",
 journal      = "{MSCS}",
 volume       = "14",
 number       = "3",
 pages        = "329--366",
 doi          = "10.1017/S0960129504004153",
)
@incollection(Arb11,
 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}",
 series       = "{LNCS}",
 volume       = "7000",
 publisher    = "{Springer}",
 pages        = "169--206",
 doi          = "10.1007/978-3-642-24933-4\_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      = "{SCICO}",
 volume       = "61",
 number       = "2",
 pages        = "75--113",
 doi          = "10.1016/j.scico.2005.10.008",
)
@incollection(Ben06,
 author       = "Mordechai Ben-Ari",
 year         = "2006",
 title        = "Semaphores",
 booktitle    = "{Principles of Concurrent and Distributed Programming}",
 edition      = "2nd",
 publisher    = "{Addison-Wesley}",
 pages        = "107--144",
)
@incollection(BHG87,
 author       = "Philip Bernstein and Vassos Hadzilacos and Nathan Goodman",
 year         = "1987",
 title        = "{Two Phase Locking}",
 booktitle    = "{Concurrency Control and Recovery in Database Systems}",
 publisher    = "{Addison-Wesley}",
 pages        = "47--111",
)
@article(CCD+09,
 author       = "Sara Capecchi and Mario Coppo and Mariangiola Dezani-Ciancaglini and Sophia Drossopoulou and Elena Giachino",
 year         = "2009",
 title        = "{Amalgamating sessions and methods in object-oriented languages with generics}",
 journal      = "{TCS}",
 volume       = "410",
 number       = "2--3",
 pages        = "142--167",
 doi          = "10.1016/j.tcs.2008.09.016",
)
@inproceedings(CL00,
 author       = "Sung-Eun Choi and Christopher Lewis",
 year         = "2000",
 title        = "{A Study of Common Pitfalls in Simple Multi-Threaded Programs}",
 booktitle    = "{Proceedings of SIGCSE}",
 pages        = "325--329",
 doi          = "10.1145/330908.331879",
)
@article(DKV00,
 author       = "Arie Van Deursen and Paul Klint and Joost Visser",
 year         = "2000",
 title        = "{Domain-Specific Languages: An Annotated Bibliography}",
 journal      = "{ACM SIGPLAN Notices}",
 volume       = "35",
 number       = "6",
 pages        = "26--36",
 doi          = "10.1145/352029.352035",
)
@article(DDMY09,
 author       = "Mariangiola Dezani-Ciancaglini and Sophia Drossopoulou and Dimitris Mostrous and Nobuko Yoshida",
 year         = "2009",
 title        = "{Objects and session types}",
 journal      = "{IC}",
 volume       = "207",
 number       = "5",
 pages        = "595--641",
 doi          = "10.1016/j.ic.2008.03.028",
)
@incollection(Dij82,
 author       = "Edsger Dijkstra",
 year         = "1982",
 title        = "{On the Role of Scientific Thought (EWD447)}",
 booktitle    = "{Selected Writings on Computing: A Personal Perspective}",
 series       = "{Texts and Monographs in Computer Science}",
 publisher    = "{Springer}",
 pages        = "60--66",
 doi          = "10.1007/978-1-4612-5695-3\_12",
)
@inproceedings(GVR+10,
 author       = "Simon Gay and Vasco Vasconcelos and Ant\'{o}nio Ravara and Nils Gesbert and Alexandre Caldeira",
 year         = "2010",
 title        = "{Modular Session Types for Distributed Object-Oriented Programming}",
 booktitle    = "{Proceedings of POPL 2010}",
 pages        = "299--312",
 doi          = "10.1145/1706299.1706335",
)
@article(HM93,
 author       = "Maurice Herlihy and Eliot Moss",
 year         = "1993",
 title        = "{Transactional Memory: Architectural Support for Lock-Free Data Structures}",
 journal      = "{ACM SIGARCH Computer Architecture News}",
 volume       = "21",
 number       = "2",
 pages        = "289--300",
 doi          = "10.1145/173682.165164",
)
@incollection(HMB+11,
 author       = "Kohei Honda and Aybek Mukhamedov and Gary Brown and Tzu-Chun Chen and Nobuko Yoshida",
 year         = "2011",
 title        = "{Scribbling Interactions with a Formal Foundation}",
 editor       = "Raja Natarajan and Adegboyega Ojo",
 booktitle    = "{Distributed Computing and Internet Technology}",
 series       = "{LNCS}",
 volume       = "6536",
 publisher    = "{Springer}",
 pages        = "55--75",
 doi          = "10.1007/978-3-642-19056-8\_4",
)
@incollection(HVK98,
 author       = "Kohei Honda and Vasco Vasconcelos and Makoto Kubo",
 year         = "1998",
 title        = "{Language Primitives and Type Discipline for Structured Communication-Based Programming}",
 editor       = "Chris Hankin",
 booktitle    = "{Programming Languages and Systems}",
 series       = "{LNCS}",
 volume       = "1381",
 publisher    = "{Springer}",
 pages        = "122--138",
 doi          = "10.1007/BFb0053567",
)
@inproceedings(HYC08,
 author       = "Kohei Honda and Nobuko Yoshida and Marco Carbone",
 year         = "2008",
 title        = "Multiparty Asynchronous Session Types",
 booktitle    = "{Proceedings of POPL 2008}",
 pages        = "273--284",
 doi          = "10.1145/1328438.1328472",
)
@incollection(HKP+10,
 author       = "Raymond Hu and Dimitrios Kouzapas and Olivier Pernet and Nobuko Yoshida and Kohei Honda",
 year         = "2010",
 title        = "{Type-Safe Eventful Sessions in Java}",
 editor       = "Chris Hankin",
 booktitle    = "{ECOOP 2010 --- Object-Oriented Programming}",
 series       = "{LNCS}",
 volume       = "6183",
 publisher    = "{Springer}",
 pages        = "329--353",
 doi          = "10.1007/978-3-642-14107-2\_16",
)
@article(JA12,
 author       = "Sung-Shik Jongmans and Farhad Arbab",
 year         = "2012",
 title        = "Overview of Thirty Semantic Formalisms for Reo",
 journal      = "SACS",
 volume       = "22",
 number       = "1",
 pages        = "201--251",
 doi          = "10.7561/SACS.2012.1.201",
)
@article(JCP12,
 author       = "Sung-Shik Jongmans and Dave Clarke and Jos{\'{e}} Proen{\c {c}}a",
 year         = "2012",
 title        = "A Procedure for Splitting Processes and its Application to Coordination",
 journal      = "EPTCS",
 volume       = "91",
 number       = "1",
 pages        = "79--96",
 doi          = "10.4204/EPTCS.91.6",
)
@incollection(JSS+12,
 author       = "Sung-Shik Jongmans and Francesco Santini and Mahdi Sargolzaei and Farhad Arbab and Hamideh Afsarmanesh",
 year         = "2011",
 title        = "{Automatic Code Generation for the Orchestration of Web Services with Reo}",
 editor       = "Flavio De Paoli and Ernesto Pimentel and Gianluigi Zavattaro",
 booktitle    = "{Service-Oriented and Cloud Computing}",
 series       = "{LNCS}",
 volume       = "7592",
 publisher    = "{Springer}",
 pages        = "1--16",
 doi          = "10.1007/978-3-642-33427-6\_1",
)
@inproceedings(KC09,
 author       = "Christian Koehler and Dave Clarke",
 year         = "2009",
 title        = "{Decomposing Port Automata}",
 booktitle    = "{Proceedings of SAC 2009}",
 pages        = "1369--1373",
 doi          = "10.1145/1529282.1529587",
)
@article(Lee06,
 author       = "Edward Lee",
 year         = "2006",
 title        = "{The Problem with Threads}",
 journal      = "{Computer}",
 volume       = "39",
 number       = "5",
 pages        = "33--42",
 doi          = "10.1109/MC.2006.180",
)
@article(Par72,
 author       = "David Parnas",
 year         = "1972",
 title        = "{On the Criteria To Be Used in Decomposing Systems into Modules}",
 journal      = "{CACM}",
 volume       = "15",
 number       = "12",
 pages        = "1053--1058",
 doi          = "10.1145/361598.361623",
)
@book(Par07,
 author       = "Terence Parr",
 year         = "2007",
 title        = "{The Definitive ANTLR Reference: Building Domain-Specific Languages}",
 publisher    = "The Pragmatic Bookshelf",
)