{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,14]],"date-time":"2025-06-14T17:21:44Z","timestamp":1749921704885},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642308284"},{"type":"electronic","value":"9783642308291"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30829-1_17","type":"book-chapter","created":{"date-parts":[[2012,6,8]],"date-time":"2012-06-08T12:19:10Z","timestamp":1339157950000},"page":"245-260","source":"Crossref","is-referenced-by-count":12,"title":["On the Realizability of Contracts in Dishonest Systems"],"prefix":"10.1007","author":[{"given":"Massimo","family":"Bartoletti","sequence":"first","affiliation":[]},{"given":"Emilio","family":"Tuosto","sequence":"additional","affiliation":[]},{"given":"Roberto","family":"Zunino","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"Artikis, A., Sergot, M.J., Pitt, J.V.: Specifying norm-governed computational societies. ACM Trans. Comput. Log.\u00a010(1) (2009)","DOI":"10.1145\/1459010.1459011"},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"Bartoletti, M., Tuosto, E., Zunino, R.: Contracts in distributed systems. In: ICE (2011)","DOI":"10.4204\/EPTCS.59.11"},{"key":"17_CR3","series-title":"LNCS","first-page":"245","volume-title":"COORDINATION 2012","author":"M. Bartoletti","year":"2012","unstructured":"Bartoletti, M., Tuosto, E., Zunino, R.: On the Realizability of Contracts in Dishonest Systems. In: COORDINATION 2012. LNCS, vol.\u00a07274, pp. 245\u2013260. Springer, Heidelberg (2012)"},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"Bartoletti, M., Zunino, R.: A calculus of contracting processes. In: LICS (2010)","DOI":"10.1109\/LICS.2010.25"},{"key":"17_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/978-3-642-15375-4_12","volume-title":"CONCUR 2010 - Concurrency Theory","author":"L. Bocchi","year":"2010","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.\u00a06269, pp. 162\u2013176. Springer, Heidelberg (2010)"},{"key":"17_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/978-3-540-77351-1_4","volume-title":"Software Composition","author":"M. Bravetti","year":"2007","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.\u00a04829, pp. 34\u201350. Springer, Heidelberg (2007)"},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"Buscemi, M.G., Coppo, M., Dezani-Ciancaglini, M., Montanari, U.: Constraints for service contracts. In: TGC (2011) (to appear)","DOI":"10.1007\/978-3-642-30065-3_7"},{"key":"17_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/978-3-540-71316-6_3","volume-title":"Programming Languages and Systems","author":"M.G. Buscemi","year":"2007","unstructured":"Buscemi, M.G., Montanari, U.: CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, pp. 18\u201332. Springer, Heidelberg (2007)"},{"key":"17_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/11693024_14","volume-title":"Programming Languages and Systems","author":"S. Carpineti","year":"2006","unstructured":"Carpineti, S., Laneve, C.: A Basic Contract Language for Web Services. In: Sestoft, P. (ed.) ESOP 2006. LNCS, vol.\u00a03924, pp. 197\u2013213. Springer, Heidelberg (2006)"},{"key":"17_CR10","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\u00a031(5) (2009)","DOI":"10.1145\/1538917.1538920"},{"issue":"2","key":"17_CR11","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1016\/S0304-3975(96)00325-8","volume":"183","author":"M. Dam","year":"1997","unstructured":"Dam, M.: On the Decidability of Process Equivalences for the \u03c0-calculus. Theoretical Computer Science\u00a0183(2), 215\u2013228 (1997)","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"17_CR12","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1145\/384192.384194","volume":"33","author":"P. Degano","year":"2001","unstructured":"Degano, P., Priami, C.: Enhanced operational semantics. ACM Comput. Surv.\u00a033(2), 135\u2013176 (2001)","journal-title":"ACM Comput. Surv."},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"Emerson, E.A.: Temporal and modal logic. In: Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B). North-Holland Pub. Co.\/MIT Press (1990)","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"17_CR14","doi-asserted-by":"crossref","unstructured":"Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. In: POPL (2008)","DOI":"10.1145\/1328438.1328472"},{"key":"17_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/978-3-540-72952-5_11","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"C. Prisacariu","year":"2007","unstructured":"Prisacariu, C., Schneider, G.: A Formal Language for Electronic Contracts. In: Bonsangue, M.M., Johnsen, E.B. (eds.) FMOODS 2007. LNCS, vol.\u00a04468, pp. 174\u2013189. Springer, Heidelberg (2007)"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30829-1_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:31:23Z","timestamp":1620127883000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30829-1_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642308284","9783642308291"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30829-1_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}