{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:37:27Z","timestamp":1725550647968},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540291077"},{"type":"electronic","value":"9783540320722"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11560647_3","type":"book-chapter","created":{"date-parts":[[2005,10,20]],"date-time":"2005-10-20T14:04:06Z","timestamp":1129817046000},"page":"49-52","source":"Crossref","is-referenced-by-count":0,"title":["Languages and Process Calculi for Network Aware Programming \u2013 Short Summary -"],"prefix":"10.1007","author":[{"given":"Rocco","family":"De Nicola","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/11419822_2","volume-title":"Formal Methods for Mobile Computing","author":"L. Bettini","year":"2005","unstructured":"Bettini, L., De Nicola, R.: Interactive Mobile Agents in X-Klaim. In: Bernardo, M., Bogliolo, A. (eds.) SFM-Moby 2005. LNCS, vol.\u00a03465, pp. 29\u201368. Springer, Heidelberg (2005)"},{"key":"3_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"},{"issue":"1","key":"3_CR3","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1006\/inco.1998.2755","volume":"149","author":"M. Boreale","year":"1999","unstructured":"Boreale, M., De Nicola, R., Pugliese, R.: Basic observables for processes. Inf. Comput.\u00a0149(1), 77\u201398 (1999)","journal-title":"Inf. Comput."},{"issue":"4","key":"3_CR4","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/s002360050086","volume":"34","author":"F. Corradini","year":"1997","unstructured":"Corradini, F., De Nicola, R.: Locality based semantics for process algebras. Acta Inf.\u00a034(4), 291\u2013324 (1997)","journal-title":"Acta Inf."},{"issue":"5","key":"3_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 Trans. on Software Engineering\u00a024(5), 315\u2013330 (1998)","journal-title":"IEEE Trans. on Software Engineering"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"De Nicola, R., Gorla, D., Pugliese, R.: Basic observables for a calculus for global computing. Tech. Rep. 07\/2004, Dip. di Informatica, Universit\u00e0 di Roma La Sapienza. Short version to appear in the Proc. of ICALP 2005 (2005)","DOI":"10.1007\/11523468_99"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"De Nicola, R., Gorla, D., Pugliese, R.: On the expressive power of KLAIM-based calculi. To appera in TCS. Short version in Proc. of EXPRESS 2004. ENTCS, vol.\u00a0128(2), pp. 117\u2013130. Elsevier, Amsterdam (2004)","DOI":"10.1016\/j.entcs.2004.11.032"},{"key":"3_CR8","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":"3_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11494881_1","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"R. Nicola De","year":"2005","unstructured":"De Nicola, R., Gorla, D., Pugliese, R.: Pattern matching over a dynamic network of tuple spaces. In: Steffen, M., Zavattaro, G. (eds.) FMOODS 2005. LNCS, vol.\u00a03535, pp. 1\u201314. Springer, Heidelberg (2005)"},{"issue":"1-2","key":"3_CR10","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1016\/S0304-3975(99)00339-4","volume":"238","author":"R. Nicola De","year":"2000","unstructured":"De Nicola, R., Pugliese, R.: Linda-based applicative and imperative process algebras. Theor. Comput. Sci.\u00a0238(1-2), 389\u2013437 (2000)","journal-title":"Theor. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2005"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11560647_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T04:36:06Z","timestamp":1683261366000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11560647_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540291077","9783540320722"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/11560647_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}