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

46 A theory of contracts for web services – Nils Gesbert, Luca Padovani - 2008
32 Towards a unifying theory for choreography conformance and contract compliance – Mario Bravetti, Gianluigi Zavattaro - 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
3 Communication and Concurrency, volume 92 – R Milner - 1989
17 G.: Contract based Multi-party Service Composition – M Bravetti, Zavattaro - 2007
106 A Classification of Security Properties for Process Algebras – Riccardo Focardi, Roberto Gorrieri - 1994
12 The must preorder revisited – C Laneve, L Padovani - 2007
51 Information Flow Security in Dynamic Contexts – Riccardo Focardi, Sabina Rossi - 2002
721 Security policies and security models – J A Goguen, J Meseguer - 1982
8 G.: A Foundational Theory of Contracts for Multi-party Service Composition – M Bravetti, Zavattaro - 2008
84 Structured Communication-Centred Programming for Web Services – Marco Carbone, Kohei Honda, Nobuko Yoshida - 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
3219 Communication and Concurrency – R Milner - 1990
3407 Communicating Sequential Processes – C. A. R. Hoare - 2004
7 Choreography Conformance via Synchronizability – Samik Basu, Tevfik Bultan - 2011
82 Multiparty asynchronous session types – Kohei Honda, Nobuko Yoshida, Marco Carbone - 2008
199 Language primitives and type discipline for structured communication-based programming – Nobuko Yoshida, Vasco T. Vasconcelos - 1998
9 Component Adaptation through Flexible Subservicing – Antonio Brogi, Carlos Canal, Ernesto Pimentel - 2004