@incollection(SCC, author = "M. Boreale and R. Bruni and L. Caires and R. De Nicola and I. Lanese and M. Loreti and F. Martins and U. Montanari and A. Ravara and D. Sangiorgi and V. Vasconcelos and G. Zavattaro", year = "2006", title = "A Service Centered Calculus", editor = "M. Bravetti and M. Núñez and G. Zavattaro", booktitle = "Web Services and Formal Methods", series = "Lecture Notes in Computer Science", volume = "4184", publisher = "Springer Berlin / Heidelberg", pages = "38--57", doi = "10.1007/11841197\_3", ) @incollection(springerlink:10.1007/978-3-540-68863-1_3, author = "M. Boreale and R. Bruni and R. De Nicola and M. Loreti", year = "2008", title = "Sessions and Pipelines for Structured Service Programming", editor = "G. Barthe and F. de Boer", booktitle = "Formal Methods for Open Object-Based Distributed Systems", series = "LNCS", volume = "5051", publisher = "Springer Berlin / Heidelberg", pages = "19--38", doi = "10.1007/978-3-540-68863-1\_3", ) @incollection(Bruni2008, author = "R. Bruni and I. Lanese and H. Melgratti and E. Tuosto", year = "2008", title = "Multiparty Sessions in SOC", editor = "D. Lea and G. Zavattaro", booktitle = "Coordination Models and Languages", series = "Lecture Notes in Computer Science", volume = "5052", publisher = "Springer Berlin / Heidelberg", pages = "67--82", doi = "10.1007/978-3-540-68265-3\_5", ) @incollection(records, author = "L. Cardelli and J. Mitchell", year = "1990", title = "Operations on records", editor = "M. Main and A. Melton and M. Mislove and D. Schmidt", booktitle = "Mathematical Foundations of Programming Semantics", series = "Lecture Notes in Computer Science", volume = "442", publisher = "Springer Berlin / Heidelberg", pages = "22--52", doi = "10.1007/BFb0040253", ) @techreport(wsdl2, author = "R. Chinnici and J-J. Moreau and A. Ryman and S. Weerawarana", year = "2007", title = "{Web Service Definition Language (WSDL) Version 2.0}", type = "Technical Report", url = "http://www.w3.org/TR/wsdl20", ) @incollection(coordination, author = "A. Fantechi and E. Najm", year = "2008", title = "Session Types for Orchestration Charts", editor = "D. Lea and G. Zavattaro", booktitle = "Coordination Models and Languages", series = "Lecture Notes in Computer Science", volume = "5052", publisher = "Springer Berlin / Heidelberg", pages = "117--134", doi = "10.1007/978-3-540-68265-3\_8", ) @incollection(springerlink:10.1007/3-540-61474-5_97, author = "J. Fernandez and H. Garavel and A. Kerbrat and L. Mounier and R. Mateescu and M. Sighireanu", year = "1996", title = "CADP a protocol validation and verification toolbox", editor = "R. Alur and T. Henzinger", booktitle = "Computer Aided Verification", series = "Lecture Notes in Computer Science", volume = "1102", publisher = "Springer Berlin / Heidelberg", pages = "437--440", doi = "10.1007/3-540-61474-5\_97", ) @incollection(springerlink:10.1007/3-540-44612-5_34, author = "J. Groote and J. van de Pol", year = "2000", title = "State Space Reduction Using Partial $\tau $-Confluence", editor = "M. Nielsen and B. Rovan", booktitle = "Mathematical Foundations of Computer Science 2000", series = "Lecture Notes in Computer Science", volume = "1893", publisher = "Springer Berlin / Heidelberg", pages = "383--393", doi = "10.1007/3-540-44612-5\_34", ) @article(HYC08, author = "K. Honda and N. Yoshida and M. Carbone", year = "2008", title = "Multiparty asynchronous session types", journal = "SIGPLAN Not.", volume = "43", pages = "273--284", doi = "10.1145/1328897.1328472", ) @incollection(orc, author = "D. Kitchin and A. Quark and W. Cook and J. Misra", year = "2009", title = "The Orc Programming Language", editor = "D. Lee and A. Lopes and A. Poetzsch-Heffter", booktitle = "Formal Techniques for Distributed Systems", series = "Lecture Notes in Computer Science", volume = "5522", publisher = "Springer Berlin / Heidelberg", pages = "1--25", doi = "10.1007/978-3-642-02138-1\_1", ) @inproceedings(DBLP:conf/IEEEscc/KoppKL08, author = "O. Kopp and R. Khalaf and F. Leymann", year = "2008", title = "Deriving Explicit Data Links in WS-BPEL Processes", booktitle = "IEEE International Conference on Services Computing, 2008. SCC '08.", volume = "2", pages = "367 --376", doi = "10.1109/SCC.2008.122", ) @incollection(COWS, author = "A. Lapadula and R. Pugliese and F. Tiezzi", year = "2007", title = "A Calculus for Orchestration of Web Services", editor = "R. De Nicola", booktitle = "Programming Languages and Systems", series = "Lecture Notes in Computer Science", volume = "4421", publisher = "Springer Berlin / Heidelberg", pages = "33--47", doi = "10.1007/978-3-540-71316-6\_4", ) @article(DBLP:journals/fmsd/LapadulaPT11, author = "A. Lapadula and R. Pugliese and F. Tiezzi", year = "2011", title = "A WSDL-based type system for asynchronous WS-BPEL processes", journal = "Formal Methods in System Design", volume = "38", number = "2", pages = "119--157", doi = "10.1007/s10703-010-0110-0", ) @article(Lapadula2012189, author = "A. Lapadula and R. Pugliese and F. Tiezzi", year = "2012", title = "Using formal methods to develop WS-BPEL applications", journal = "Sci. Comput. Program.", volume = "77", number = "3", pages = "189--213", doi = "10.1016/j.scico.2011.03.002", ) @incollection(FASE2005, author = "A. Martens", year = "2005", title = "Analyzing Web Service Based Business Processes", editor = "M. Cerioli", booktitle = "Fundamental Approaches to Software Engineering", series = "Lecture Notes in Computer Science", volume = "3442", publisher = "Springer Berlin / Heidelberg", pages = "19--33", doi = "10.1007/978-3-540-31984-9\_3", ) @incollection(springerlink:10.1007/978-3-642-21464-6_7, author = "D. Mostrous and V. Vasconcelos", year = "2011", title = "Session Typing for a Featherweight Erlang", editor = "W. De Meuter and G-C. Roman", booktitle = "Coordination Models and Languages", series = "Lecture Notes in Computer Science", volume = "6721", publisher = "Springer Berlin / Heidelberg", pages = "95--109", doi = "10.1007/978-3-642-21464-6\_7", ) @incollection(springerlink:10.1007/978-3-642-21464-6_8, author = "N. Ng and N. Yoshida and O. Pernet and R. Hu and Y. Kryftis", year = "2011", title = "Safe Parallel Programming with Session Java", booktitle = "Coordination Models and Languages", series = "Lecture Notes in Computer Science", volume = "6721", publisher = "Springer Berlin / Heidelberg", pages = "110--126", doi = "10.1007/978-3-642-21464-6\_8", ) @manual(std/ws-bpel2, organization = "OASIS", year = "2007", title = "Web Services Business Process Execution Language ({WS-BPEL}) Version 2.0", url = "http://docs.oasis-open.org/wsbpel/2.0/OS/wsbpel-v2.0-OS.html", ) @article(DBLP:journals/scp/OuyangVABDH07, author = "C. Ouyang and E. Verbeek and W. M. P. van der Aalst and S. Breutel and M. Dumas and A. H. M. ter Hofstede", year = "2007", title = "Formal semantics and analysis of control flow in WS-BPEL", journal = "Sci. Comput. Program.", volume = "67", number = "2-3", pages = "162--198", doi = "10.1016/j.scico.2007.03.002", ) @article(Viroli200774, author = "M. Viroli", year = "2007", title = "A core calculus for correlation in orchestration languages", journal = "Journal of Logic and Algebraic Programming", volume = "70", number = "1", pages = "74 -- 95", doi = "10.1016/j.jlap.2006.05.006", )