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

Documents Related by Co-Citation

32 Towards a unifying theory for choreography conformance and contract compliance – Mario Bravetti, Gianluigi Zavattaro - 2007
20 On Progress for Structured Communications – Mariangiola Dezani-ciancaglini, Ugo De Liguoro, Nobuko Yoshida - 2008
199 Language primitives and type discipline for structured communication-based programming – Nobuko Yoshida, Vasco T. Vasconcelos - 1998
17 G.: Contract based Multi-party Service Composition – M Bravetti, Zavattaro - 2007
34 A new type system for deadlock-free processes – Naoki Kobayashi - 2006
82 Multiparty asynchronous session types – Kohei Honda, Nobuko Yoshida, Marco Carbone - 2008
59 Subtyping for session types in the pi calculus – S J GAY, M J HOLE - 2005
84 Structured Communication-Centred Programming for Web Services – Marco Carbone, Kohei Honda, Nobuko Yoshida - 2007
10 L.: The must preorder revisited - An algebraic theory for web services contracts – C Laneve, Padovani - 2007
24 A formal account of contracts for web services – S. Carpineti, G. Castagna, C. Laneve, L. Padovani, École Normale Supérieure De Paris - 2006
14 CCS without τ’s – R De Nicola, M Hennessy - 1987
53 Operating Guidelines for Finite-State Services – Niels Lohmann, Peter Massuthe, Karsten Wolf - 2007
3219 Communication and Concurrency – R Milner - 1990
55 An Operating Guideline Approach to the SOA – Peter Massuthe, Wolfgang Reisig, Karsten Schmidt - 2005
91 A Generic Type System for the Pi-Calculus – Atsushi Igarashi, Naoki Kobayashi - 2003
7 Contract-directed synthesis of simple orchestrators – Luca Padovani - 2008
83 Types for Dyadic Interaction – Kohei Honda - 1993
409 Testing Equivalences for Processes – R. De Nicola, M. C. B. Hennessy - 1984
38 Analyzing Interacting BPEL Processes – Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg - 2006