Contract Compliance and Choreography Conformance in the Presence of Message Queues

by Mario Bravetti , Gianluigi Zavattaro
Citations:8 - 3 self

Documents Related by Co-Citation

32 Towards a unifying theory for choreography conformance and contract compliance – Mario Bravetti, Gianluigi Zavattaro - 2007
17 G.: Contract based multi-party service composition – M Bravetti, Zavattaro - 2007
46 A theory of contracts for web services – Nils Gesbert, Luca Padovani - 2008
8 G.: A Foundational Theory of Contracts for Multi-party Service Composition – M Bravetti, Zavattaro - 2008
3200 Communication and Concurrency – R Milner - 1989
3388 Communicating Sequential Processes – C. A. R. Hoare - 1985
24 A formal account of contracts for web services – S. Carpineti, G. Castagna, C. Laneve, L. Padovani, École Normale Supérieure De Paris - 2006
3 Communication and Concurrency, volume 92 – R Milner - 1989
58 Fair testing – Arend Rensink, Walter Vogler - 1995
14 A Theory for Strong Service Compliance ⋆ – Mario Bravetti, Gianluigi Zavattaro
51 Information Flow Security in Dynamic Contexts – Riccardo Focardi, Sabina Rossi - 2002
718 Security policies and security models – J A Goguen, J Meseguer - 1982
105 A Classification of Security Properties for Process Algebras – Riccardo Focardi, Roberto Gorrieri - 1994
12 The must preorder revisited – C Laneve, L Padovani - 2007
37 Choreography and Orchestration: a synergic approach for system design – Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro - 2005
24 Choreography and orchestration conformance for system design – Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro - 2006
84 Structured Communication-Centred Programming for Web Services – Marco Carbone, Kohei Honda, Nobuko Yoshida - 2007
7 Choreography Conformance via Synchronizability – Samik Basu, Tevfik Bultan - 2011
82 Multiparty asynchronous session types – Kohei Honda, Nobuko Yoshida, Marco Carbone - 2008