{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T17:21:46Z","timestamp":1725816106121},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319149769"},{"type":"electronic","value":"9783319149776"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-14977-6_1","type":"book-chapter","created":{"date-parts":[[2015,1,28]],"date-time":"2015-01-28T09:23:24Z","timestamp":1422437004000},"page":"1-20","source":"Crossref","is-referenced-by-count":3,"title":["Models of Circular Causality"],"prefix":"10.1007","author":[{"given":"Massimo","family":"Bartoletti","sequence":"first","affiliation":[]},{"given":"Tiziana","family":"Cimoli","sequence":"additional","affiliation":[]},{"given":"G. Michele","family":"Pinna","sequence":"additional","affiliation":[]},{"given":"Roberto","family":"Zunino","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","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.\u00a053(1) (2010)","DOI":"10.1093\/comjnl\/bxn064"},{"issue":"1","key":"1_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.2001.3060","volume":"171","author":"P. Baldan","year":"2001","unstructured":"Baldan, P., Corradini, A., Montanari, U.: Contextual Petri nets, asymmetric event structures, and processes. Inf. Comput.\u00a0171(1), 1\u201349 (2001)","journal-title":"Inf. Comput."},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Bartoletti, M., Cimoli, T., Giamberardino, P.D., Zunino, R.: Contract agreements via logic. In: Proc. ICE (2013)","DOI":"10.4204\/EPTCS.131.2"},{"key":"1_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/978-3-642-40213-5_5","volume-title":"Fundamentals of Software Engineering","author":"M. Bartoletti","year":"2013","unstructured":"Bartoletti, M., Cimoli, T., Pinna, G.M.: Lending petri nets and contracts. In: Arbab, F., Sirjani, M. (eds.) FSEN 2013. LNCS, vol.\u00a08161, pp. 66\u201382. Springer, Heidelberg (2013)"},{"key":"1_CR5","unstructured":"Bartoletti, M., Cimoli, T., Pinna, G.M.: Lending petri nets (submitted), http:\/\/tcs.unica.it\/publications"},{"key":"1_CR6","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"},{"issue":"3-4","key":"1_CR7","doi-asserted-by":"crossref","first-page":"219","DOI":"10.3233\/FI-2014-1101","volume":"134","author":"M. Bartoletti","year":"2014","unstructured":"Bartoletti, M., Cimoli, T., Pinna, G.M., Zunino, R.: Circular causality in event structures. Fundamenta Informaticae\u00a0134(3-4), 219\u2013259 (2014)","journal-title":"Fundamenta Informaticae"},{"key":"1_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1007\/978-3-642-36830-1_10","volume-title":"Principles of Security and Trust","author":"M. Bartoletti","year":"2013","unstructured":"Bartoletti, M., Cimoli, T., Zunino, R.: A theory of agreements and protection. In: Basin, D., Mitchell, J.C. (eds.) POST 2013 (ETAPS 2013). LNCS, vol.\u00a07796, pp. 186\u2013205. Springer, Heidelberg (2013)"},{"issue":"1","key":"1_CR9","doi-asserted-by":"publisher","first-page":"5","DOI":"10.7561\/SACS.2012.1.5","volume":"22","author":"M. Bartoletti","year":"2012","unstructured":"Bartoletti, M., Tuosto, E., Zunino, R.: Contract-oriented computing in CO2. Scientific Annals in Computer Science\u00a022(1), 5\u201360 (2012)","journal-title":"Scientific Annals in Computer Science"},{"key":"1_CR10","unstructured":"Bartoletti, M., Zunino, R.: A logic for contracts. Tech. Rep. DISI-09-034, DISI - Univ. Trento (2009)"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Bartoletti, M., Zunino, R.: A calculus of contracting processes. In: LICS (2010)","DOI":"10.1109\/LICS.2010.25"},{"key":"1_CR12","unstructured":"Cimoli, T.: A theory of Agreement and Protection. Ph.D. thesis, University of Cagliari (May 2013)"},{"key":"1_CR13","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1016\/0304-3975(78)90020-8","volume":"7","author":"S.A. Greibach","year":"1978","unstructured":"Greibach, S.A.: Remarks on blind and partially blind one-way multicounter machines. Theoretical Computer Science\u00a07, 311\u2013324 (1978)","journal-title":"Theoretical Computer Science"},{"key":"1_CR14","unstructured":"Hobbes, T.: The Leviathan (1651), chapter XIV"},{"key":"1_CR15","unstructured":"Kleene, S.: Introduction to metamathematics. North-Holland Publishing Company (1952)"},{"issue":"1","key":"1_CR16","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1017\/S0960129500000062","volume":"1","author":"N. Mart\u00ed-Oliet","year":"1991","unstructured":"Mart\u00ed-Oliet, N., Meseguer, J.: From Petri nets to linear logic. Mathematical Structures in Computer Science\u00a01(1), 69\u2013101 (1991)","journal-title":"Mathematical Structures in Computer Science"},{"key":"1_CR17","unstructured":"Moschovakis, J.: Intuitionistic logic. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy (2008)"},{"key":"1_CR18","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"13","author":"M. Nielsen","year":"1981","unstructured":"Nielsen, M., Plotkin, G.D., Winskel, G.: Petri nets, event structures and domains, part i. Theor. Comput. Sci.\u00a013, 85\u2013108 (1981)","journal-title":"Theor. Comput. Sci."},{"key":"1_CR19","unstructured":"Reisig, W.: Petri Nets: An Introduction, Monographs in Theoretical Computer Science. An EATCS Series. Springer (1985)"},{"key":"1_CR20","doi-asserted-by":"crossref","unstructured":"Stotts, P.D., Godfrey, P.: Place\/transition nets with debit arcs. Inf. Proc. Lett.\u00a041(1) (1992)","DOI":"10.1016\/0020-0190(92)90076-8"},{"key":"1_CR21","unstructured":"van Glabbeek, R.J., Plotkin, G.D.: Configuration structures. In: LICS (1995)"},{"key":"1_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/3-540-17906-2_31","volume-title":"Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986","author":"G. Winskel","year":"1987","unstructured":"Winskel, G.: Event structures. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) APN 1986. LNCS, vol.\u00a0254, pp. 325\u2013392. Springer, Heidelberg (1987)"},{"issue":"2","key":"1_CR23","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1051\/ita\/1987210200991","volume":"21","author":"W. Zielonka","year":"1987","unstructured":"Zielonka, W.: Notes on finite asynchronous automata. Theoretical Informatics and Applications\u00a021(2), 99\u2013135 (1987)","journal-title":"Theoretical Informatics and Applications"}],"container-title":["Lecture Notes in Computer Science","Distributed Computing and Internet Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-14977-6_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,29]],"date-time":"2020-08-29T11:29:17Z","timestamp":1598700557000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-14977-6_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319149769","9783319149776"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-14977-6_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}