Contract Compliance and Choreography Conformance in the Presence of Message Queues

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

Documents Related by Co-Citation

36 Towards a unifying theory for choreography conformance and contract compliance – Mario Bravetti, Gianluigi Zavattaro - 2007
56 A theory of contracts for web services – Nils Gesbert, Luca Padovani - 2008
3430 Communication and Concurrency – R Milner - 1989
3643 Communicating Sequential Processes – C. A. R. Hoare - 1985
774 Security policies and security models – J Goguen, J Meseguer - 1982
20 Contract based multi-party service composition – M Bravetti, G Zavattaro - 2007
28 A formal account of contracts for web services – S. Carpineti, G. Castagna, C. Laneve, L. Padovani, École Normale Supérieure De Paris - 2006
619 Language-Based Information-Flow Security – Andrei Sabelfeld , Andrew C. Myers - 2003
2675 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999