{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:49:19Z","timestamp":1725515359420},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540686767"},{"type":"electronic","value":"9783540686798"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-68679-8_6","type":"book-chapter","created":{"date-parts":[[2008,6,10]],"date-time":"2008-06-10T06:58:16Z","timestamp":1213081096000},"page":"76-95","source":"Crossref","is-referenced-by-count":0,"title":["Synchronous Multiparty Synchronizations and Transactions"],"prefix":"10.1007","author":[{"given":"Ivan","family":"Lanese","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":"6_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/3-540-45263-X_10","volume-title":"Coordination Languages and Models","author":"D. Hirsch","year":"2000","unstructured":"Hirsch, D., Inverardi, P., Montanari, U.: Reconfiguration of software architecture styles with name mobility. In: Porto, A., Roman, G.-C. (eds.) COORDINATION 2000. LNCS, vol.\u00a01906, pp. 148\u2013163. Springer, Heidelberg (2000)"},{"key":"6_CR2","unstructured":"Hirsch, D.: Graph transformation models for software architecture styles. PhD thesis, Departamento de Computaci\u00f3n, Facultad de Ciencias Exactas y Naturales, U.B.A (2003)"},{"key":"6_CR3","series-title":"Elect.Notes in Th.Comput.Sci.","first-page":"55","volume-title":"Proc. of GT-VC 2005","author":"I. Lanese","year":"2005","unstructured":"Lanese, I., Montanari, U.: Hoare vs Milner: Comparing synchronizations in a graphical framework with mobility. In: Proc. of GT-VC 2005. Elect.Notes in Th.Comput.Sci., vol.\u00a0154(2), pp. 55\u201372. Elsevier Science, Amsterdam (2005)"},{"key":"6_CR4","volume-title":"Proc. of LICS 1998","author":"J. Parrow","year":"1998","unstructured":"Parrow, J., Victor, B.: The fusion calculus: Expressiveness and symmetry in mobile processes. In: Proc. of LICS 1998. IEEE Computer Society Press, Los Alamitos (1998)"},{"key":"6_CR5","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, D.: A calculus of mobile processes. Inform.and Comput.\u00a0100, 1\u201377 (1992)","journal-title":"Inform.and Comput."},{"key":"6_CR6","series-title":"Elect.Notes in Th.Comput.Sci.","first-page":"199","volume-title":"Proc. of the Workshop of the COMETA Project","author":"I. Lanese","year":"2004","unstructured":"Lanese, I., Montanari, U.: A graphical fusion calculus. In: Proc. of the Workshop of the COMETA Project. Elect.Notes in Th.Comput.Sci., vol.\u00a0104, pp. 199\u2013215. Elsevier Science, Amsterdam (2004)"},{"issue":"1-2","key":"6_CR7","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1006\/inco.1999.2819","volume":"156","author":"R. Bruni","year":"2000","unstructured":"Bruni, R., Montanari, U.: Zero-safe nets: Comparing the collective and individual token approaches. Inform.and Comput.\u00a0156(1-2), 46\u201389 (2000)","journal-title":"Inform.and Comput."},{"key":"6_CR8","unstructured":"Lanese, I., Melgratti, H.: Synchronous multiparty synchronizations and transactions, \n                    \n                      http:\/\/cs.unibo.it\/~lanese\/work\/ugo65-TR.pdf"},{"key":"6_CR9","unstructured":"Victor, B.: The fusion calculus: Expressiveness and symmetry in mobile processes. PhD thesis, Dept.of Computer Systems, Uppsala University, Sweden (1998)"},{"key":"6_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/BFb0000097","volume-title":"Graph-Grammars and Their Application to Computer Science","author":"I. Castellani","year":"1983","unstructured":"Castellani, I., Montanari, U.: Graph grammars for distributed systems. In: Ehrig, H., Nagl, M., Rozenberg, G. (eds.) Graph Grammars 1982. LNCS, vol.\u00a0153, pp. 20\u201338. Springer, Heidelberg (1983)"},{"key":"6_CR11","series-title":"Lecture Notes in Computer Science","first-page":"121","volume-title":"CONCUR 2001 - Concurrency Theory","author":"D. Hirsch","year":"2001","unstructured":"Hirsch, D., Montanari, U.: Synchronized hyperedge replacement with name mobility. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol.\u00a02154, pp. 121\u2013136. Springer, Heidelberg (2001)"},{"key":"6_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-45446-2_1","volume-title":"Theoretical Computer Science","author":"G. Ferrari","year":"2001","unstructured":"Ferrari, G., Montanari, U., Tuosto, E.: A LTS semantics of ambients via graph synchronization with mobility. In: Restivo, A., Ronchi Della Rocca, S., Roversi, L. (eds.) ICTCS 2001. LNCS, vol.\u00a02202, pp. 1\u201316. Springer, Heidelberg (2001)"},{"key":"6_CR13","series-title":"Elect.Notes in Th.Comput.Sci.","first-page":"43","volume-title":"Proc. of FGUC 2004","author":"I. Lanese","year":"2004","unstructured":"Lanese, I., Montanari, U.: Synchronization algebras with mobility for graph transformations. In: Proc. of FGUC 2004. Elect.Notes in Th.Comput.Sci., vol.\u00a0138, pp. 43\u201360. Elsevier, Amsterdam (2004)"},{"key":"6_CR14","unstructured":"Lanese, I.: Synchronization strategies for global computing models. PhD thesis, Computer Science Department, University of Pisa, Pisa, Italy (2006)"},{"key":"6_CR15","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1145\/237721.237805","volume-title":"Proc. of POPL 1996","author":"C. Fournet","year":"1996","unstructured":"Fournet, C., Gonthier, G.: The reflexive CHAM and the join-calculus. In: Proc. of POPL 1996, pp. 372\u2013385. ACM Press, New York (1996)"},{"key":"6_CR16","series-title":"Elect.Notes in Th.Comput.Sci.","first-page":"119","volume-title":"Proc. of WS-FM 2004","author":"L. Bocchi","year":"2004","unstructured":"Bocchi, L., Wischik, L.: A process calculus of atomic commit. In: Proc. of WS-FM 2004. Elect.Notes in Th.Comput.Sci., vol.\u00a0105, pp. 119\u2013132. Elsevier, Amsterdam (2004)"},{"issue":"3","key":"6_CR17","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1017\/S0960129504004189","volume":"14","author":"R. Bruni","year":"2004","unstructured":"Bruni, R., Montanari, U.: Concurrent models for linda with transactions. Math.Struct.in Comput.Sci.\u00a014(3), 421\u2013468 (2004)","journal-title":"Math.Struct.in Comput.Sci."},{"issue":"2&3","key":"6_CR18","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1016\/0304-3975(90)90035-G","volume":"72","author":"R. Gorrieri","year":"1990","unstructured":"Gorrieri, R., Marchetti, S., Montanari, U.: A2CCS: Atomic actions for CCS. Theoret.Comput.Sci.\u00a072(2&3), 203\u2013223 (1990)","journal-title":"Theoret.Comput.Sci."},{"key":"6_CR19","first-page":"569","volume-title":"Proc. of IFIP-TCS 2004","author":"R. Bruni","year":"2004","unstructured":"Bruni, R., Melgratti, H., Montanari, U.: Nested commits for mobile calculi: extending Join. In: Proc. of IFIP-TCS 2004, pp. 569\u2013582. Kluwer Academic, Dordrecht (2004)"},{"key":"6_CR20","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":"6_CR21","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)"}],"container-title":["Lecture Notes in Computer Science","Concurrency, Graphs and Models"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68679-8_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,2]],"date-time":"2019-03-02T08:31:50Z","timestamp":1551515510000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68679-8_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540686767","9783540686798"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68679-8_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}