References

  1. Advanced Message Queueing Protocol (AMQP). http://www.amqp.org/.
  2. Business Process Model and Notation. http://www.omg.org/spec/BPMN/2.0/.
  3. Chor. Choreography programming language.. http://www.chor-lang.org/.
  4. Message Passing Interface (MPI). http://www.mpi-forum.org/.
  5. WS-BPEL OASIS Web Services Business Process Execution Language. http://docs.oasis-open.org/wsbpel/2.0/wsbpel-specification-draft.html.
  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: CONCUR, LNCS 5201. Springer, pp. 418–433, doi:10.1007/978-3-540-85361-9_33.
  7. N. Busi, R. Gorrieri, C. Guidi, R. Lucchi & G. Zavattaro (2006): Choreography and orchestration conformance for system design. In: Proc. of Coordination'06, LNCS 4038. Springer-Verlag, pp. 63–81, doi:10.1007/11767954_5.
  8. Marco Carbone, Kohei Honda & Nobuko Yoshida (2012): Structured Communication-Centered Programming for Web Services. ACM Trans. Program. Lang. Syst. 34(2), pp. 8, doi:10.1145/2220365.2220367.
  9. Marco Carbone & Fabrizio Montesi (2011): Typed Multiparty Global Programming. Technical Report TR-2011-149. IT University of Copenhagen. Available at http://www.itu.dk/people/fabr/multichor.
  10. Claudio Guidi, Paolo Anedda & Tullio Vardanega (2012): Towards a New Paas Architecture Generation. In: CLOSER, pp. 279–282.
  11. K. Honda, N. Yoshida & M. Carbone (2008): Multiparty Asynchronous Session Types. In: POPL'08 43(1). ACM Press, New York, NY, USA, pp. 273–284, doi:10.1145/1328438.1328472.
  12. Kohei Honda, Aybek Mukhamedov, Gary Brown, Tzu-Chun Chen & Nobuko Yoshida (2011): Scribbling Interactions with a Formal Foundation. In: ICDCIT, LNCS 6536. Springer, pp. 55–75, doi:10.1007/978-3-642-19056-8_4.
  13. I. Lanese, C. Guidi, F. Montesi & G. Zavattaro (2008): Bridging the Gap between Interaction- and Process-Oriented Choreographies. In: Antonio Cerone & Stefan Gruner: Proc. of SEFM'08. IEEE, pp. 323–332, doi:10.1109/SEFM.2008.11.
  14. F. Montesi, C. Guidi & G. Zavattaro (2007): Composing Services with JOLIE. In: Proc. of ECOWS 2007, pp. 13–22, doi:10.1109/ECOWS.2007.19.
  15. Nicholas Ng, Nobuko Yoshida & Kohei Honda (2012): Multiparty Session C: Safe Parallel Programming with Message Optimisation. In: TOOLS (50), pp. 202–218, doi:10.1007/978-3-642-30561-0_15.
  16. PI4SOA (2008): http://www.pi4soa.org.
  17. Benjamin C. Pierce (2002): Types and Programming Languages. MIT Press, MA, USA.
  18. W3C WS-CDL Working Group (2004): Web Services Choreography Description Language Version 1.0. http://www.w3.org/TR/2004/WD-ws-cdl-10-20040427/.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org