A theory of contracts for web services (2008)

Cached

Download Links

by Nils Gesbert , Luca Padovani
Venue:In POPL ’08, 35th ACM Symposium on Principles of Programming Languages
Citations:46 - 4 self

Active Bibliography

Compliance Preorders for Web Services – Michele Bugliesi, Damiano Macedonio, Luca Pino, Sabina Rossi
10 AUTOMATIC SERVICE COMPOSITION VIA SIMULATION – Daniela Berardi, Fahima Cheikh, Giuseppe De Giacomo, Fabio Patrizi
8 Contract Compliance and Choreography Conformance in the Presence of Message Queues – Mario Bravetti, Gianluigi Zavattaro
2007-19 Design and Evaluation of a Wide-Area Distributed Shared Memory Middleware, Mazzucco, M., Morgan, – Mario Bravetti, Roberto Gorrieri, Mura Anteo Zamboni - 2008
17 Global Principal Typing in Partially Commutative Asynchronous Sessions – Dimitris Mostrous, Nobuko Yoshida, Kohei Honda
14 Sessions and session types: an overview – Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro - 2010
Foundation of Session Types (extended abstract) – Mariangiola Dezani-ciancaglini, Elena Giachino, Luca Padovani
12 General Session Types – Mariangiola Dezani-ciancaglini, Elena Giachino, Luca Padovani
1 N.: Bounded session types for object oriented languages – Mariangiola Dezani-ciancaglini, Elena Giachino, Sophia Drossopoulou, Nobuko Yoshida - 2007
7 Fundamentals of Session Types – Vasco T. Vasconcelos - 2009
20 Asynchronous Session Types and Progress for Object-Oriented Languages – Mariangiola Dezani-ciancaglini, Nobuko Yoshida - 2007
2 Amalgamating Sessions and Methods in Object Oriented Languages with Generics – Sara Capecchi, Mario Coppo, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou, Elena Giachino - 2008
2 Amalgamating the session types and the object oriented programming paradigms – Sophia Drossopoulou, Mariangiola Dezani-ciancaglini - 2007
17 Global Progress in Dynamically Interleaved Multiparty Sessions – Lorenzo Bettini, Marco De Luca, Mariangiola Dezani-ciancaglini, Nobuko Yoshida - 2008
24 A formal account of contracts for web services – S. Carpineti, G. Castagna, C. Laneve, L. Padovani, École Normale Supérieure De Paris - 2006
7 Multiparty sessions in SOC – Roberto Bruni, Ivan Lanese, Hernán Melgratti, Emilio Tuosto
254 Pict: A programming language based on the pi-calculus – Benjamin C. Pierce, David N. Turner - 1997
2 Automated Composition of Nondeterministic Stateful Services – Fabio Patrizi
Specification of Web Service Composition Requirements ITC-irst – Università Di Trento - 2006