{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T02:54:42Z","timestamp":1725504882914},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540786627"},{"type":"electronic","value":"9783540786634"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-78663-4_10","type":"book-chapter","created":{"date-parts":[[2008,3,8]],"date-time":"2008-03-08T06:00:01Z","timestamp":1204956001000},"page":"124-139","source":"Crossref","is-referenced-by-count":5,"title":["Transactional Service Level Agreement"],"prefix":"10.1007","author":[{"given":"Maria Grazia","family":"Buscemi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hern\u00e1n","family":"Melgratti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71316-6_5","volume-title":"Programming Languages and Systems","author":"L. Acciai","year":"2007","unstructured":"Acciai, L., Boreale, M., dal Zilio, S.: A concurrent calculus with atomic transactions. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, Springer, Heidelberg (2007)"},{"key":"10_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75336-0_13","volume-title":"Trustworthy Global Computing","author":"D. Bacciu","year":"2007","unstructured":"Bacciu, D., Botta, A., Melgratti, H.: A fuzzy approach for negotiating quality of services. In: Montanari, U., Sannella, D., Bruni, R. (eds.) TGC 2007. LNCS, vol.\u00a04661, Springer, Heidelberg (2007)"},{"issue":"2","key":"10_CR3","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1145\/256303.256306","volume":"44","author":"S. Bistarelli","year":"1997","unstructured":"Bistarelli, S., Montanari, U., Rossi, F.: Semiring-based constraint satisfaction and optimization. Journal of the ACM\u00a044(2), 201\u2013236 (1997)","journal-title":"Journal of the ACM"},{"key":"10_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1007\/978-3-540-39958-2_9","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"L. Bocchi","year":"2003","unstructured":"Bocchi, L., Laneve, C., Zavattaro, G.: A calculus for long-running transactions. In: Najm, E., Nestmann, U., Stevens, P. (eds.) FMOODS 2003. LNCS, vol.\u00a02884, pp. 124\u2013138. Springer, Heidelberg (2003)"},{"key":"10_CR5","first-page":"569","volume-title":"Proc. of the 3rd IFIP-TCS 2004, 3rd IFIP Intl. Conference on Theoretical Computer Science","author":"R. Bruni","year":"2004","unstructured":"Bruni, R., Melgratti, H., Montanari, U.: Nested commits for mobile calculi: extending Join. In: Proc. of the 3rd IFIP-TCS 2004, 3rd IFIP Intl. Conference on Theoretical Computer Science, pp. 569\u2013582. Kluwer Academic Publishers, Dordrecht (2004)"},{"key":"10_CR6","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1145\/1040305.1040323","volume-title":"POPL 2005: Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"R. Bruni","year":"2005","unstructured":"Bruni, R., Melgratti, H., Montanari, U.: Theoretical foundations for compensations in flow composition languages. In: POPL 2005: Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 209\u2013220. ACM Press, New York (2005)"},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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, Springer, Heidelberg (2007)"},{"key":"10_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/11423348_8","volume-title":"Communicating Sequential Processes. The First 25 Years","author":"M. Butler","year":"2005","unstructured":"Butler, M., Hoare, T., Ferreira, C.: A trace semantics for long-running transactions. In: Abdallah, A.E., Jones, C.B., Sanders, J.W. (eds.) Communicating Sequential Processes. LNCS, vol.\u00a03525, pp. 133\u2013150. Springer, Heidelberg (2005)"},{"key":"10_CR9","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1145\/237721.237805","volume-title":"Proc. of 23rd Annual ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages (POPL 1996)","author":"C. Fournet","year":"1996","unstructured":"Fournet, C., Gonthier, G.: The reflexive chemical abstract machine and the Join calculus. In: Proc. of 23rd Annual ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages (POPL 1996), pp. 372\u2013385. ACM Press, New York (1996)"},{"issue":"1","key":"10_CR10","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1023\/A:1022445108617","volume":"11","author":"A. Keller","year":"2003","unstructured":"Keller, A., Ludwig, H.: The WSLA framework: Specifying and monitoring service level agreements for web services. Jour. Net. and Sys. Manag.\u00a011(1), 57\u201381 (2003)","journal-title":"Jour. Net. and Sys. Manag."},{"key":"10_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"282","DOI":"10.1007\/978-3-540-31982-5_18","volume-title":"Foundations of Software Science and Computational Structures","author":"C. Laneve","year":"2005","unstructured":"Laneve, C., Zavattaro, G.: Foundations of web transactions. In: Sassone, V. (ed.) FOSSACS 2005. LNCS, vol.\u00a03441, pp. 282\u2013298. Springer, Heidelberg (2005)"},{"issue":"1","key":"10_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, J.: A calculus of mobile processes, I and II. Inform. and Comput.\u00a0100(1), 1\u201377 (1992)","journal-title":"Inform. and Comput."},{"key":"10_CR13","volume-title":"Proc. of the 17th Symposium on Principles of programming languages (POPL 1990)","author":"V. Saraswat","year":"1990","unstructured":"Saraswat, V., Rinard, M.: Concurrent constraint programming. In: Proc. of the 17th Symposium on Principles of programming languages (POPL 1990), ACM Press, New York (1990)"},{"doi-asserted-by":"crossref","unstructured":"Skene, J., Lamanna, D., Emmerich, W.: Precise service level agreements. In: Proc. of the 26th International Conference on Software Engineering (ICSE 2004) (2004)","key":"10_CR14","DOI":"10.1109\/ICSE.2004.1317440"},{"issue":"3","key":"10_CR15","doi-asserted-by":"publisher","first-page":"606","DOI":"10.1016\/j.tcs.2005.03.017","volume":"340","author":"L. Wischik","year":"2005","unstructured":"Wischik, L., Gardner, P.: Explicit fusions. Theoret. Comput. Sci.\u00a0340(3), 606\u2013630 (2005)","journal-title":"Theoret. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","Trustworthy Global Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78663-4_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:17:44Z","timestamp":1619522264000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78663-4_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540786627","9783540786634"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78663-4_10","relation":{},"subject":[]}}