M. Abadi, M. Burrows, B. Lampson, and G. Plotkin, A calculus for access control in distributed systems, ACM TOPLAS, vol.4, issue.15, 1993.

M. Abadi and G. D. Plotkin, A logical view of composition, Theoretical Computer Science, vol.114, issue.1, 1993.
DOI : 10.1016/0304-3975(93)90151-I

M. Armbrust, A view of cloud computing, Communications of the ACM, vol.53, issue.4, pp.50-58, 2010.
DOI : 10.1145/1721654.1721672

M. Bartoletti, T. Cimoli, P. D. Giamberardino, and R. Zunino, Contract agreements via logic, Proc. ICE, 2013.
DOI : 10.4204/EPTCS.131.2

URL : http://arxiv.org/abs/1306.0026

M. Bartoletti, T. Cimoli, G. M. Pinna, and R. Zunino, An event-based model for contracts, Proc. PLACES, 2012.
DOI : 10.4204/EPTCS.109.3

M. Bartoletti, T. Cimoli, and R. Zunino, A Theory of Agreements and Protection, Proc. POST, 2013.
DOI : 10.1007/978-3-642-36830-1_10

M. Bartoletti and R. Zunino, A Calculus of Contracting Processes, 2010 25th Annual IEEE Symposium on Logic in Computer Science, 2010.
DOI : 10.1109/LICS.2010.25

L. Bocchi, K. Honda, E. Tuosto, and N. Yoshida, A Theory of Design-by-Contract for Distributed Multiparty Interactions, CONCUR, 2010.
DOI : 10.1007/978-3-642-15375-4_12

M. Bravetti, I. Lanese, and G. Zavattaro, Contract-Driven Implementation of Choreographies, Proc. TGC, pp.1-18, 2008.
DOI : 10.1016/j.ic.2006.06.002

M. Bravetti and G. Zavattaro, Contract Based Multi-party Service Composition, Proc. FSEN, pp.207-222, 2007.
DOI : 10.1007/978-3-540-75698-9_14

M. Bravetti and G. Zavattaro, Towards a Unifying Theory for Choreography Conformance and Contract Compliance, Software Composition, 2007.
DOI : 10.1007/978-3-540-77351-1_4

G. Castagna, N. Gesbert, and L. Padovani, A theory of contracts for web services, ACM Transactions on Programming Languages and Systems, issue.5, p.31, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00152547

S. Even and Y. Yacobi, Relations among public key signature systems, Technical Report Computer Science Department, vol.175, 1980.

D. Garg and M. Abadi, A Modal Deconstruction of Access Control Logics, FoSSaCS, 2008.
DOI : 10.1007/978-3-540-78499-9_16

T. T. Hildebrandt and R. R. Mukkamala, Declarative Event-Based Workflow as Distributed Dynamic Condition Response Graphs, Proc. PLACES, 2010.
DOI : 10.4204/EPTCS.69.5

URL : http://arxiv.org/abs/1110.4161

K. Honda, N. Yoshida, and M. Carbone, Multiparty asynchronous session types, POPL, 2008.
DOI : 10.1145/2827695

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

N. Martí-oliet and J. Meseguer, An algebraic axiomatization of linear logic models, Topology and category theory in computer science, 1991.

C. Prisacariu and G. Schneider, A dynamic deontic logic for complex contracts, The Journal of Logic and Algebraic Programming, vol.81, issue.4, p.2012
DOI : 10.1016/j.jlap.2012.03.003

URL : http://dx.doi.org/10.1016/j.jlap.2012.03.003

W. Reisig, Petri Nets: An Introduction, volume 4 of Monographs in Theoretical Computer Science. An EATCS Series, 1985.

P. D. Stotts and P. Godfrey, Place/transition nets with debit arcs, Inf. Proc. Lett, vol.41, issue.1, 1992.

W. M. Van-der-aalst, N. Lohmann, P. Massuthe, C. Stahl, and K. Wolf, Multiparty Contracts: Agreeing and Implementing Interorganizational Processes, The Computer Journal, vol.53, issue.1, 2010.
DOI : 10.1093/comjnl/bxn064

R. J. Van-glabbeek and G. D. Plotkin, Configuration structures, Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science, 1995.
DOI : 10.1109/LICS.1995.523257