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