References

  1. Gul A. Agha (1990): ACTORS - a model of concurrent computation in distributed systems. MIT Press series in artificial intelligence. MIT Press.
  2. Rajeev Alur, Pavol Cerný, P. Madhusudan & Wonhong Nam (2005): Synthesis of interface specifications for Java classes. In: Jens Palsberg & Martín Abadi: POPL. ACM, pp. 98–109. Available at http://doi.acm.org/10.1145/1040305.1040314.
  3. Henk Barendregt, S. Abramsky, D. M. Gabbay, T. S. E. Maibaum & H. P. Barendregt (1992): Lambda Calculi with Types. In: Handbook of Logic in Computer Science. Oxford University Press, pp. 117–309.
  4. Samik Basu, Tevfik Bultan & Meriem Ouederni (2012): Deciding choreography realizability. In: John Field & Michael Hicks: POPL. ACM, pp. 191–202. Available at http://doi.acm.org/10.1145/2103656.2103680.
  5. Andi Bejleri (2010): Practical Parameterised Session Types. In: Jin Song Dong & Huibiao Zhu: ICFEM, Lecture Notes in Computer Science 6447. Springer, pp. 270–286. Available at http://dx.doi.org/10.1007/978-3-642-16901-4_19.
  6. Lorenzo Bettini, Mario Coppo, Loris D'Antoni, Marco De Luca, Mariangiola Dezani-Ciancaglini & Nobuko Yoshida (2008): Global Progress in Dynamically Interleaved Multiparty Sessions. In: van Breugel & Chechik, pp. 418–433. Available at http://dx.doi.org/10.1007/978-3-540-85361-9_33.
  7. Eduardo Bonelli & Adriana B. Compagnoni (2007): Multipoint Session Types for a Distributed Calculus. In: Gilles Barthe & Cédric Fournet: TGC, Lecture Notes in Computer Science 4912. Springer, pp. 240–256. Available at http://dx.doi.org/10.1007/978-3-540-78663-4_17.
  8. Franck van Breugel & Marsha Chechik (2008): CONCUR 2008 - Concurrency Theory, 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings. Lecture Notes in Computer Science 5201. Springer.
  9. Marco Carbone, Kohei Honda & Nobuko Yoshida (2007): Structured Communication-Centred Programming for Web Services. In: Rocco De Nicola: ESOP, Lecture Notes in Computer Science 4421. Springer, pp. 2–17. Available at http://dx.doi.org/10.1007/978-3-540-71316-6_2.
  10. Marco Carbone, Kohei Honda & Nobuko Yoshida (2008): Structured Interactional Exceptions in Session Types. In: van Breugel & Chechik, pp. 402–417. Available at http://dx.doi.org/10.1007/978-3-540-85361-9_32.
  11. Marco Carbone, Nobuko Yoshida & Kohei Honda (2009): Asynchronous Session Types: Exceptions and Multiparty Interactions. In: Marco Bernardo, Luca Padovani & Gianluigi Zavattaro: SFM, Lecture Notes in Computer Science 5569. Springer, pp. 187–212. Available at http://dx.doi.org/10.1007/978-3-642-01918-0_5.
  12. Giuseppe Castagna, Mariangiola Dezani-Ciancaglini & Luca Padovani (2011): On Global Types and Multi-party Sessions. In: Roberto Bruni & Jürgen Dingel: FMOODS/FORTE, Lecture Notes in Computer Science 6722. Springer, pp. 1–28. Available at http://dx.doi.org/10.1007/978-3-642-21461-5_1.
  13. Minas Charalambides, Peter Dinges & Gul Agha (2012): Parameterized Concurrent Multi-Party Session Types. Technical Report. Department of Computer Science, University of Illinois at Urbana–Champaign. Available at http://osl.cs.illinois.edu. In preparation.
  14. Pierre-Malo Deniélou & Nobuko Yoshida (2011): Dynamic multirole session types. In: Thomas Ball & Mooly Sagiv: POPL. ACM, pp. 435–446. Available at http://doi.acm.org/10.1145/1926385.1926435.
  15. Pierre-Malo Deniélou & Nobuko Yoshida (2012): Multiparty Session Types Meet Communicating Automata. In: Helmut Seidl: ESOP, Lecture Notes in Computer Science 7211. Springer, pp. 194–213. Available at http://dx.doi.org/10.1007/978-3-642-28869-2_10.
  16. Mariangiola Dezani-Ciancaglini, Elena Giachino, Sophia Drossopoulou & Nobuko Yoshida (2006): Bounded Session Types for Object Oriented Languages. In: Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf & Willem P. de Roever: FMCO, Lecture Notes in Computer Science 4709. Springer, pp. 207–245. Available at http://dx.doi.org/10.1007/978-3-540-74792-5_10.
  17. Peter Dinges & Gul Agha (2012): Scoped Synchronization Constraints for Large Scale Actor Systems. In: Marjan Sirjani: COORDINATION, Lecture Notes in Computer Science 7274. Springer, pp. 89–103. Available at http://dx.doi.org/10.1007/978-3-642-30829-1_7.
  18. P. Eugster, T.F.S. Frischbier & S.A.A. Buchmann (2012): Sound Transformations for Federated Objects. In: Matthew B. Dwyer: OOPSLA. ACM. Available at http://www.dvs.tu-darmstadt.de/publications/pdf/transsem.pdf.
  19. Svend Frølund (1996): Coordinating distributed objects - an actor-based approach to synchronization. MIT Press.
  20. Svend Frølund & Gul Agha (1993): A Language Framework for Multi-Object Coordination. In: Oscar Nierstrasz: ECOOP, Lecture Notes in Computer Science 707. Springer, pp. 346–360. Available at http://dx.doi.org/10.1007/3-540-47910-4_18.
  21. Simon J. Gay & Malcolm Hole (2005): Subtyping for session types in the pi calculus. Acta Inf. 42(2-3), pp. 191–225. Available at http://dx.doi.org/10.1007/s00236-005-0177-z.
  22. Simon J. Gay & Vasco Thudichum Vasconcelos (2010): Linear type theory for asynchronous session types. J. Funct. Program. 20(1), pp. 19–50. Available at http://dx.doi.org/10.1017/S0956796809990268.
  23. Simon J. Gay, Vasco Thudichum Vasconcelos, António Ravara, Nils Gesbert & Alexandre Z. Caldeira (2010): Modular session types for distributed object-oriented programming. In: Manuel V. Hermenegildo & Jens Palsberg: POPL. ACM, pp. 299–312. Available at http://doi.acm.org/10.1145/1706299.1706335.
  24. E. Giachino, C. Laneve & T. Lascu (2012): Deadlocks and Livelocks in Concurrent Objects with Futures. Available at http://www.cs.unibo.it/~laneve/papers/submLockAnalysis.pdf.
  25. Kurt Gödel (1958): Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes. Dialectica, pp. 280–287.
  26. Kohei Honda (1993): Types for Dyadic Interaction. In: Eike Best: CONCUR, Lecture Notes in Computer Science 715. Springer, pp. 509–523. Available at http://dx.doi.org/10.1007/3-540-57208-2_35.
  27. Kohei Honda, Vasco Thudichum Vasconcelos & Makoto Kubo (1998): Language Primitives and Type Discipline for Structured Communication-Based Programming. In: Chris Hankin: ESOP, Lecture Notes in Computer Science 1381. Springer, pp. 122–138. Available at http://dx.doi.org/10.1007/BFb0053567.
  28. Kohei Honda, Nobuko Yoshida & Marco Carbone (2008): Multiparty asynchronous session types. In: George C. Necula & Philip Wadler: POPL. ACM, pp. 273–284. Available at http://doi.acm.org/10.1145/1328438.1328472.
  29. Raymond Hu, Nobuko Yoshida & Kohei Honda (2008): Session-Based Distributed Programming in Java. In: Jan Vitek: ECOOP, Lecture Notes in Computer Science 5142. Springer, pp. 516–541. Available at http://dx.doi.org/10.1007/978-3-540-70592-5_22.
  30. Giuseppe Milicia & Vladimiro Sassone (2005): Jeeg: temporal constraints for the synchronization of concurrent objects. Concurrency - Practice and Experience 17(5-6), pp. 539–572. Available at http://dx.doi.org/10.1002/cpe.849.
  31. Dimitris Mostrous, Nobuko Yoshida & Kohei Honda (2009): Global Principal Typing in Partially Commutative Asynchronous Sessions. In: Giuseppe Castagna: ESOP, Lecture Notes in Computer Science 5502. Springer, pp. 316–332. Available at http://dx.doi.org/10.1007/978-3-642-00590-9_23.
  32. Matthias Neubauer & Peter Thiemann (2004): Session Types for Asynchronous Communication. Available at http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.9.9995&rep=rep1&type=pdf.
  33. Chris Peltz (2003): Web Services Orchestration and Choreography. IEEE Computer 36(10), pp. 46–52. Available at http://doi.ieeecomputersociety.org/10.1109/MC.2003.1236471.
  34. Robert L. Probert & Kassem Saleh (1991): Synthesis of Communication Protocols: Survey and Assessment. IEEE Trans. Computers 40(4), pp. 468–476. Available at http://doi.ieeecomputersociety.org/10.1109/12.88466.
  35. Riccardo Pucella & Jesse A. Tov (2008): Haskell session types with (almost) no class. In: Andy Gill: Haskell. ACM, pp. 25–36. Available at http://doi.acm.org/10.1145/1411286.1411290.
  36. Kaku Takeuchi, Kohei Honda & Makoto Kubo (1994): An Interaction-based Language and its Typing System. In: Constantine Halatsis, Dimitris G. Maritsas, George Philokyprou & Sergios Theodoridis: PARLE, Lecture Notes in Computer Science 817. Springer, pp. 398–413. Available at http://dx.doi.org/10.1007/3-540-58184-7_118.
  37. Vasco Thudichum Vasconcelos, Simon J. Gay & António Ravara (2006): Type checking a multithreaded functional language with session types. Theor. Comput. Sci. 368(1-2), pp. 64–87. Available at http://dx.doi.org/10.1016/j.tcs.2006.06.028.
  38. Nobuko Yoshida, Pierre-Malo Deniélou, Andi Bejleri & Raymond Hu (2010): Parameterised Multiparty Session Types. In: C.-H. Luke Ong: FOSSACS, Lecture Notes in Computer Science 6014. Springer, pp. 128–145. Available at http://dx.doi.org/10.1007/978-3-642-12032-9_10.
  39. Nobuko Yoshida & Vasco Thudichum Vasconcelos (2007): Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication. Electr. Notes Theor. Comput. Sci. 171(4), pp. 73–93. Available at http://dx.doi.org/10.1016/j.entcs.2007.02.056.
  40. M.C. Yuang (1988): Survey of protocol verification techniques based on finite state machine models. In: Computer Networking Symposium, 1988., Proceedings of the, pp. 164 –172, doi:10.1109/CNS.1988.4993.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org