@misc(amqp, title = "Advanced {M}essage {Q}ueueing {P}rotocol ({A}{M}{Q}{P})", howpublished = "\url {http://www.amqp.org/}", ) @misc(BPMN, title = "{B}usiness {P}rocess {M}odel and {N}otation", howpublished = "\url {http://www.omg.org/spec/BPMN/2.0/}", ) @misc(chor:website, title = "Chor. {C}horeography programming language.", howpublished = "\url {http://www.chor-lang.org/}", ) @misc(mpi, title = "Message {P}assing {I}nterface ({M}{P}{I})", howpublished = "\url {http://www.mpi-forum.org/}", ) @misc(bpel, title = "{WS-BPEL} {OASIS} {W}eb {S}ervices {B}usiness {P}rocess {E}xecution {L}anguage", howpublished = "\url {http://docs.oasis-open.org/wsbpel/2.0/wsbpel-specification-draft.html}", ) @inproceedings(BCDLDY08, author = "Lorenzo Bettini and Mario Coppo and Loris D'Antoni and Marco De Luca and Mariangiola Dezani-Ciancaglini and Nobuko Yoshida", year = "2008", title = "Global Progress in Dynamically Interleaved Multiparty Sessions", booktitle = "CONCUR", series = "LNCS", volume = "5201", publisher = "Springer", pages = "418--433", doi = "10.1007/978-3-540-85361-9\_33", ) @inproceedings(BGGLZ06, author = "N. Busi and R. Gorrieri and C. Guidi and R. Lucchi and G. Zavattaro", year = "2006", title = "Choreography and orchestration conformance for system design", booktitle = "Proc. of Coordination'06", series = "LNCS", volume = "4038", publisher = "Springer-Verlag", pages = "63--81", doi = "10.1007/11767954\_5", ) @article(CHY12, author = "Marco Carbone and Kohei Honda and Nobuko Yoshida", year = "2012", title = "Structured Communication-Centered Programming for Web Services", journal = "ACM Trans. Program. Lang. Syst.", volume = "34", number = "2", pages = "8", doi = "10.1145/2220365.2220367", ) @techreport(CM12, author = "Marco Carbone and Fabrizio Montesi", year = "2011", title = "{Typed Multiparty Global Programming}", type = "Technical Report", number = "TR-2011-149", institution = "IT University of Copenhagen", note = "Available at {\url {http://www.itu.dk/people/fabr/multichor}}", ) @inproceedings(paasoa, author = "Claudio Guidi and Paolo Anedda and Tullio Vardanega", year = "2012", title = "Towards a New Paas Architecture Generation", booktitle = "CLOSER", pages = "279--282", ) @inproceedings(HYC08, author = "K. Honda and N. Yoshida and M. Carbone", year = "2008", title = "Multiparty Asynchronous Session Types", booktitle = "POPL'08", volume = "43(1)", publisher = "ACM Press", address = "New York, NY, USA", pages = "273--284", doi = "10.1145/1328438.1328472", ) @inproceedings(HMBCY11, 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", booktitle = "ICDCIT", series = "LNCS", volume = "6536", publisher = "Springer", pages = "55--75", doi = "10.1007/978-3-642-19056-8\_4", ) @inproceedings(LGMZ08, author = "I. Lanese and C. Guidi and F. Montesi and G. Zavattaro", year = "2008", title = "Bridging the Gap between Interaction- and Process-Oriented Choreographies", editor = "Antonio Cerone and Stefan Gruner", booktitle = "Proc. of SEFM'08", publisher = "{IEEE}", pages = "323--332", doi = "10.1109/SEFM.2008.11", ) @inproceedings(jolie:ecows07, author = "F. Montesi and C. Guidi and G. Zavattaro", year = "2007", title = "{Composing Services with JOLIE}", booktitle = "Proc. of ECOWS 2007", pages = "13--22", doi = "10.1109/ECOWS.2007.19", ) @inproceedings(DBLP:conf/tools/NgYH12, author = "Nicholas Ng and Nobuko Yoshida and Kohei Honda", year = "2012", title = "Multiparty Session C: Safe Parallel Programming with Message Optimisation", booktitle = "TOOLS (50)", pages = "202--218", doi = "10.1007/978-3-642-30561-0\_15", ) @misc(pi4soa, author = "PI4SOA", year = "2008", title = "http://www.pi4soa.org", ) @book(PIERCE, author = "Benjamin C. Pierce", year = "2002", title = "Types and Programming Languages", publisher = "MIT Press", address = "MA, USA", ) @misc(WSCDL, author = "{W3C WS-CDL Working Group}", year = "2004", title = "Web Services Choreography Description Language Version 1.0", howpublished = "http://www.w3.org/TR/2004/WD-ws-cdl-10-20040427/", )