{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:54:24Z","timestamp":1762458864025,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540261810"},{"type":"electronic","value":"9783540315568"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11494881_1","type":"book-chapter","created":{"date-parts":[[2010,9,25]],"date-time":"2010-09-25T14:47:34Z","timestamp":1285426054000},"page":"1-14","source":"Crossref","is-referenced-by-count":4,"title":["Pattern Matching over a Dynamic Network of Tuple Spaces"],"prefix":"10.1007","author":[{"given":"Rocco","family":"De Nicola","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniele","family":"Gorla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rosario","family":"Pugliese","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","first-page":"110","volume-title":"Proc. of the 7th Int. IEEE Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises","author":"L. Bettini","year":"1998","unstructured":"Bettini, L., De Nicola, R., Ferrari, G., Pugliese, R.: Interactive Mobile Agents in X-Klaim. In: Ciancarini, P., Tolksdorf, R. (eds.) Proc. of the 7th Int. IEEE Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, pp. 110\u2013115. IEEE Computer Society Press, Los Alamitos (1998)"},{"key":"1_CR2","doi-asserted-by":"publisher","first-page":"1365","DOI":"10.1002\/spe.486","volume":"32","author":"L. Bettini","year":"2002","unstructured":"Bettini, L., De Nicola, R., Pugliese, R.: Klava: a Java Package for Distributed and Mobile Applications. Software \u2013 Practice and Experience\u00a032, 1365\u20131394 (2002)","journal-title":"Software \u2013 Practice and Experience"},{"key":"1_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/3-540-48749-2_4","volume-title":"Secure Internet Programming","author":"L. Cardelli","year":"1999","unstructured":"Cardelli, L.: Abstractions for mobile computation. In: Vitek, J., Jensen, C. (eds.) Secure Internet Programming. LNCS, vol.\u00a01603, pp. 51\u201394. Springer, Heidelberg (1999)"},{"issue":"1","key":"1_CR4","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1006\/inco.1993.1043","volume":"105","author":"S. Chaudhuri","year":"1993","unstructured":"Chaudhuri, S.: More Choices Allow More Faults: Set Consensus Problems in Totally Asynchronous Systems. Information and Computation\u00a0105(1), 132\u2013158 (1993)","journal-title":"Information and Computation"},{"issue":"5","key":"1_CR5","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1109\/32.685256","volume":"24","author":"R. Nicola De","year":"1998","unstructured":"De Nicola, R., Ferrari, G., Pugliese, R.: Klaim: a Kernel Language for Agents Interaction and Mobility. IEEE Transactions on Software Engineering\u00a024(5), 315\u2013330 (1998)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"1_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/3-540-44618-4_5","volume-title":"CONCUR 2000 - Concurrency Theory","author":"R. Nicola De","year":"2000","unstructured":"De Nicola, R., Ferrari, G., Pugliese, R.: Programming Access Control: The KLAIM Experience. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol.\u00a01877, pp. 48\u201365. Springer, Heidelberg (2000)"},{"key":"1_CR7","unstructured":"De Nicola, R., Gorla, D., Pugliese, R.: Basic observables for a calculus for global computing. Research Report 07\/2004, Dipartimento di Informatica, Universit\u00e0 di Roma \u201cLa Sapienza\u201d, \n                    \n                      http:\/\/www.dsi.uniroma1.it\/~gorla\/publications.htm"},{"key":"#cr-split#-1_CR8.1","unstructured":"De Nicola, R., Gorla, D., Pugliese, R.: On the expressive power of KLAIM-based calculi. Research Report 09\/2004, Dipartimento di Informatica, Universit?? di Roma ???La Sapienza???,                                           http:\/\/www.dsi.uniroma1.it\/~gorla\/publications.htm;"},{"key":"#cr-split#-1_CR8.2","unstructured":"An extended abstract appeared in Proc. of EXPRESS???04, ENTCS"},{"key":"1_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/11417019_11","volume-title":"Coordination Models and Languages","author":"R. Nicola De","year":"2005","unstructured":"De Nicola, R., Gorla, D., Pugliese, R.: Global computing in a dynamic network of tuple spaces. In: Jacquet, J.-M., Picco, G.P. (eds.) COORDINATION 2005. LNCS, vol.\u00a03454, pp. 157\u2013172. Springer, Heidelberg (2005)"},{"key":"1_CR10","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","volume":"34","author":"R. Nicola De","year":"1984","unstructured":"De Nicola, R., Hennessy, M.: Testing equivalence for processes. Theoretical Computer Science\u00a034, 83\u2013133 (1984)","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"1_CR11","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1145\/2363.2433","volume":"7","author":"D. Gelernter","year":"1985","unstructured":"Gelernter, D.: Generative Communication in Linda. ACM Transactions on Programming Languages and Systems\u00a07(1), 80\u2013112 (1985)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"1_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/3-540-51285-3_30","volume-title":"PARLE \u201989 - Parallel Architectures and Languages Europe","author":"D. Gelernter","year":"1989","unstructured":"Gelernter, D.: Multiple Tuple Spaces in Linda. In: Goos, J.G. (ed.) PARLE 1989. LNCS, vol.\u00a0365, pp. 20\u201327. Springer, Heidelberg (1989)"},{"key":"1_CR13","unstructured":"Gorla, D.: Semantic Approaches to Global Computing Systems. PhD thesis, Dip. Sistemi ed Informatica, Univ. di Firenze (2004)"},{"key":"1_CR14","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1145\/325694.325741","volume-title":"Proceedings of POPL \u201900","author":"F. Levi","year":"2000","unstructured":"Levi, F., Sangiorgi, D.: Controlling interference in ambients. In: Proceedings of POPL \u201900, pp. 352\u2013364. ACM, New York (2000)"},{"key":"1_CR15","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1007\/BF01211473","volume":"4","author":"F. Orava","year":"1992","unstructured":"Orava, F., Parrow, J.: An algebraic verification of a mobile network. Journal of Formal Aspects of Computing\u00a04, 497\u2013543 (1992)","journal-title":"Journal of Formal Aspects of Computing"},{"key":"1_CR16","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1016\/B978-044482830-9\/50026-6","volume-title":"Handbook of Process Algebra","author":"J. Parrow","year":"2001","unstructured":"Parrow, J.: An introduction to the pi-calculus. In: Bergstra, J., Ponse, A., Smolka, S. (eds.) Handbook of Process Algebra, pp. 479\u2013543. Elsevier Science, Amsterdam (2001)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Open Object-Based Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11494881_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,21]],"date-time":"2019-03-21T00:45:46Z","timestamp":1553129146000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11494881_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540261810","9783540315568"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/11494881_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}