{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:06:48Z","timestamp":1725746808446},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642402128"},{"type":"electronic","value":"9783642402135"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40213-5_5","type":"book-chapter","created":{"date-parts":[[2013,8,29]],"date-time":"2013-08-29T05:26:23Z","timestamp":1377753983000},"page":"66-82","source":"Crossref","is-referenced-by-count":6,"title":["Lending Petri Nets and Contracts"],"prefix":"10.1007","author":[{"given":"Massimo","family":"Bartoletti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tiziana","family":"Cimoli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G. Michele","family":"Pinna","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,8,30]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Abadi, M., Burrows, M., Lampson, B., Plotkin, G.: A calculus for access control in distributed systems. ACM TOPLAS 4(15) (1993)","DOI":"10.1145\/155183.155225"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Abadi, M., Plotkin, G.D.: A logical view of composition. TCS, 114(1) (1993)","DOI":"10.1016\/0304-3975(93)90151-I"},{"issue":"4","key":"5_CR3","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1145\/1721654.1721672","volume":"53","author":"M Armbrust","year":"2010","unstructured":"Armbrust, M., et al.: A view of cloud computing. Comm. ACM 53(4), 50\u201358 (2010)","journal-title":"Comm. ACM"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Bartoletti, M., Cimoli, T., Di Giamberardino, P., Zunino, R.: Contract agreements via logic. In: Proc. ICE (2013)","DOI":"10.4204\/EPTCS.131.2"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Bartoletti, M., Cimoli, T., Pinna, G.M., Zunino, R.: An event-based model for contracts. In: Proc. PLACES (2012)","DOI":"10.4204\/EPTCS.109.3"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Bartoletti, M., Cimoli, T., Zunino, R.: A theory of agreements and protection. In: Basin, D., Mitchell, J.C. (eds.) POST 2013. LNCS, vol. 7796, pp. 186\u2013205. Springer, Heidelberg (2013)","DOI":"10.1007\/978-3-642-36830-1_10"},{"key":"5_CR7","volume-title":"A calculus of contracting processes","author":"M Bartoletti","year":"2010","unstructured":"Bartoletti, M., Zunino, R.: A calculus of contracting processes. In: LICS (2010)"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Bocchi, L., Honda, K., Tuosto, E., Yoshida, N.: A theory of design-by-contract for distributed multiparty interactions. In: Gastin, P., Laroussinie, F. (eds.) CONCUR 2010. LNCS, vol. 6269, pp. 162\u2013176. Springer, Heidelberg (2010)","DOI":"10.1007\/978-3-642-15375-4_12"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Bravetti, M., Lanese, I., Zavattaro, G.: Contract-driven implementation of choreographies. In: Kaklamanis, C., Nielson, F. (eds.) TGC 2008. LNCS, vol. 5474, pp. 1\u201318. Springer, Heidelberg (2009)","DOI":"10.1007\/978-3-642-00945-7_1"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Bravetti, M., Zavattaro, G.: Contract based multi-party service composition. In: Arbab, F., Sirjani, M. (eds.) FSEN 2007. LNCS, vol. 4767, pp. 207\u2013222. Springer, Heidelberg (2007)","DOI":"10.1007\/978-3-540-75698-9_14"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Bravetti, M., Zavattaro, G.: Towards a unifying theory for choreography conformance and contract compliance. In: Lumpe, M., Vanderperren, W. (eds.) SC 2007. LNCS, vol. 4829, pp. 34\u201350. Springer, Heidelberg (2007)","DOI":"10.1007\/978-3-540-77351-1_4"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Castagna, G., Gesbert, N., Padovani, L.: A theory of contracts for web services. ACM Transactions on Programming Languages and Systems 31(5) (2009)","DOI":"10.1145\/1538917.1538920"},{"key":"5_CR13","unstructured":"Even, S., Yacobi, Y.: Relations among public key signature systems. Technical Report 175, Computer Science Department, Technion, Haifa (1980)"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Garg, D., Abadi, M.: A modal deconstruction of access control logics. In: Amadio, R.M. (ed.) FOSSACS 2008. LNCS, vol. 4962, pp. 216\u2013230. Springer, Heidelberg (2008)","DOI":"10.1007\/978-3-540-78499-9_16"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Hildebrandt, T.T., Mukkamala, R.R.: Declarative event-based workflow as distributed dynamic condition response graphs. In: Proc. PLACES (2010)","DOI":"10.4204\/EPTCS.69.5"},{"key":"5_CR16","volume-title":"Multiparty asynchronous session types","author":"K Honda","year":"2008","unstructured":"Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. In: POPL (2008)"},{"key":"5_CR17","volume-title":"An algebraic axiomatization of linear logic models","author":"N Mart\u00ed-Oliet","year":"1991","unstructured":"Mart\u00ed-Oliet, N., Meseguer, J.: An algebraic axiomatization of linear logic models. In: Topology and Category Theory in Computer Science (1991)"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Prisacariu, C., Schneider, G.: A dynamic deontic logic for complex contracts. The Journal of Logic and Algebraic Programming (JLAP) 81(4) (2012)","DOI":"10.1016\/j.jlap.2012.03.003"},{"key":"5_CR19","unstructured":"Reisig, W.: Petri Nets: An Introduction. Monographs in Theoretical Computer Science. An EATCS Series, vol. 4. Springer (1985)"},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"Stotts, P.D., Godfrey, P.: Place\/transition nets with debit arcs. Inf. Proc. Lett. 41(1) (1992)","DOI":"10.1016\/0020-0190(92)90076-8"},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P., Lohmann, N., Massuthe, P., Stahl, C., Wolf, K.: Multiparty contracts: Agreeing and implementing interorganizational processes. Comput. J. 53(1) (2010)","DOI":"10.1093\/comjnl\/bxn064"},{"key":"5_CR22","volume-title":"Configuration structures","author":"RJ Glabbeek van","year":"1995","unstructured":"van Glabbeek, R.J., Plotkin, G.D.: Configuration structures. In: LICS (1995)"}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40213-5_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T20:22:11Z","timestamp":1558038131000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40213-5_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642402128","9783642402135"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40213-5_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}