Modularizing and specifying protocols among threads

Electronic Proceedings in Theoretical Computer Science, EPTCS

Volumn 109, Issue , 2013, Pages 34-45

  Jongmans, Sung Shik T Q ^a   Arbab, Farhad ^a  

^a CWI   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; DIGITAL SUBSCRIBER LINES; PROBLEM ORIENTED LANGUAGES; PROGRAM COMPILERS;

DOMAIN SPECIFIC LANGUAGES; HIGH-LEVEL PROTOCOLS; JAVA COMPILERS; MULTI CORE;

SOFTWARE DESIGN;

EID: 84962582473     PISSN: 20752180     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.4204/EPTCS.109.6     Document Type: Conference Paper

References (23)

1. Farhad Arbab (2004): Reo: a channel-based coordination model for component composition. MSCS 14(3), pp. 329–366, doi:10.1017/S0960129504004153.
2. Farhad Arbab (2011): Puff, The Magic Protocol. In Gul Agha, Olivier Danvy & José Meseguer, editors: Formal Modeling: Actors, Open Systems, Biological Systems, LNCS 7000, Springer, pp. 169–206, doi:10.1007/978-3-642-24933-4 9.
3. 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.
4. Mordechai Ben-Ari (2006): Semaphores. In: Principles of Concurrent and Distributed Programming, 2nd edition, Addison-Wesley, pp. 107–144.
5. Philip Bernstein, Vassos Hadzilacos & Nathan Goodman (1987): Two Phase Locking. In: Concurrency Control and Recovery in Database Systems, Addison-Wesley, pp. 47–111.
6. 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.
7. 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.
8. 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.
9. 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.
10. 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.
11. 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.
12. 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.
13. Kohei Honda, Aybek Mukhamedov, Gary Brown, Tzu-Chun Chen & Nobuko Yoshida (2011): Scribbling Interactions with a Formal Foundation. In Raja Natarajan & Adegboyega Ojo, editors: Distributed Computing and Internet Technology, LNCS 6536, Springer, pp. 55–75, doi:10.1007/978-3-642-19056-8 4.
14. Kohei Honda, Vasco Vasconcelos & Makoto Kubo (1998): Language Primitives and Type Discipline for Structured Communication-Based Programming. In Chris Hankin, editor: Programming Languages and Systems, LNCS 1381, Springer, pp. 122–138, doi:10.1007/BFb0053567.
15. Kohei Honda, Nobuko Yoshida & Marco Carbone (2008): Multiparty Asynchronous Session Types. In: Proceedings of POPL 2008, pp. 273–284, doi:10.1145/1328438.1328472.
16. Raymond Hu, Dimitrios Kouzapas, Olivier Pernet, Nobuko Yoshida & Kohei Honda (2010): Type-Safe Eventful Sessions in Java. In Chris Hankin, editor: ECOOP 2010 — Object-Oriented Programming, LNCS 6183, Springer, pp. 329–353, doi:10.1007/978-3-642-14107-2 16.
17. 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.
18. 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.
19. 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, editors: Service-Oriented and Cloud Computing, LNCS 7592, Springer, pp. 1–16, doi:10.1007/978-3-642-33427-6 1.
20. Christian Koehler & Dave Clarke (2009): Decomposing Port Automata. In: Proceedings of SAC 2009, pp. 1369–1373, doi:10.1145/1529282.1529587.
21. Edward Lee (2006): The Problem with Threads. Computer 39(5), pp. 33–42, doi:10.1109/MC.2006.180.
22. 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.
23. Terence Parr (2007): The Definitive ANTLR Reference: Building Domain-Specific Languages. The Pragmatic Bookshelf.