{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T08:54:04Z","timestamp":1725699244406},"publisher-location":"Boston, MA","reference-count":29,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9781475710182"},{"type":"electronic","value":"9780387355207"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"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":[[2000]]},"DOI":"10.1007\/978-0-387-35520-7_3","type":"book-chapter","created":{"date-parts":[[2012,8,10]],"date-time":"2012-08-10T08:32:14Z","timestamp":1344587534000},"page":"45-64","source":"Crossref","is-referenced-by-count":10,"title":["Specification of Mobile Code Systems Using Graph Grammars"],"prefix":"10.1007","author":[{"given":"Fernando Lu\u00eds","family":"Dotti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leila","family":"Ribeiro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","volume-title":"MIT Press","author":"G Agha","year":"1986","unstructured":"Agha, G. Actors: a model for concurrent computation in distributed systems, MIT Press, 1986."},{"key":"3_CR2","doi-asserted-by":"publisher","first-page":"1263","DOI":"10.1016\/S1383-7621(98)00067-8","volume":"45","author":"G Agha","year":"1999","unstructured":"Agha, G. and Kim, W. Actors: A unifying model for parallel and distributed computing. Journal of systems architecture 45, 1999, pp. 1263\u20131277.","journal-title":"Journal of systems architecture"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Cardelli, L. and Gordon, A., Mobile ambients, Foundations of Software Science and Computational Structures, Lecture Notes in Computer Science, vol. 1378, Springer, 1998, pp. 140\u2013155.","DOI":"10.1007\/BFb0053547"},{"key":"3_CR4","doi-asserted-by":"crossref","first-page":"241","DOI":"10.3233\/FI-1996-263402","volume":"34","author":"A Corradini","year":"1996","unstructured":"Corradini, A., Montanan, U. and Rossi, F. Graph processes, Fundamentae Informatica, vol. 26, no. 3\u20134, 1996, pp. 241\u2013265.","journal-title":"Graph processes, Fundamentae Informatica, vol. 26"},{"key":"3_CR5","volume-title":"33rd Annual Simulation Symposium","author":"B Copstein","year":"2000","unstructured":"Copstein, B., M\u00f6ra, M. and Ribeiro, L., An environment for formal modeling and simulation for graph grammars, 33rd Annual Simulation Symposium, 2000."},{"key":"3_CR6","first-page":"315","volume":"24","author":"R Nicola","year":"1998","unstructured":"De Nicola, R., Ferrari, G. and Pugliese, R. KLAIM: A kernel language for agents interaction and mobility, Transactions On Software Engineering, IEEE, vol. 24, 1998, pp. 315\u2013330.","journal-title":"IEEE"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Heckel, R., Korff, M., L\u00f6we, M., Ribeiro, L., Wagner, A. and Corradini, A., Algebraic approaches to graph transformation II: Single pushout approach and comparison with double pushout approach,in [26], pp. 247\u2013312.","DOI":"10.1142\/9789812384720_0004"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Introduction to the algebraic theory of graph grammars, Lecture Notes in Computer Science, vol. 73, Springer, 1979, pp. 1\u201369.","DOI":"10.1007\/BFb0025714"},{"key":"3_CR9","first-page":"342","volume":"24","author":"A Fuggeta","year":"1998","unstructured":"Fuggeta, A., Picco, G. and Vigna, G., Understanding Code Mobility, Trans. On Software Engineering, IEEE, vol. 24, 1998, pp. 342\u2013361.","journal-title":"IEEE"},{"key":"3_CR10","volume-title":"Comparing Two Distributed Computing Paradigms - A Performance Case Study, M","author":"P Knudsen","year":"1995","unstructured":"Knudsen, P., Comparing Two Distributed Computing Paradigms - A Performance Case Study, M. Sc. thesis, University of Troms, 1995."},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Korff, M. and Ribeiro, L., Graph grammars for the specification of concurrent systems, In Prc. of the IX SBES Brazilian Symposium on Software Engineering, 1997, pp. 199\u2013214.","DOI":"10.5753\/sbes.1997.24049"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Korff, M. and Ribeiro, L., True concurrency = Interleaving + weak conflict, Electronic Notes in Theoretical Computer Science, vol. 14, 1998.","DOI":"10.1016\/S1571-0661(05)80237-3"},{"key":"3_CR13","first-page":"33","volume-title":"True concurrency semantics for single pushout graph transformations with applications to actor systems","author":"M Korff","year":"1995","unstructured":"Korff, M., True concurrency semantics for single pushout graph transformations with applications to actor systems, Information Systems - Correctness and Reusability, World Scientific, 1995, pp. 33\u201350."},{"key":"3_CR14","volume-title":"Generalized graph structures with applications to concurrent object-oriented systems","author":"M Korff","year":"1995","unstructured":"Korff, M. Generalized graph structures with applications to concurrent object-oriented systems, Ph.D. thesis, Technical University of Berlin, 1995."},{"key":"3_CR15","first-page":"185","volume-title":"An algebraic framework for the transformation of attributed graphs","author":"M L\u00f6we","year":"1993","unstructured":"L\u00f6we, M., Korff, M. and Wagner, A., An algebraic framework for the transformation of attributed graphs, Term Graph Rewriting: Theory and Practice, John Wiley & Sons, 1993, pp. 185\u2013199."},{"key":"3_CR16","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/0304-3975(93)90068-5","volume":"109","author":"M L\u00f6we","year":"1993","unstructured":"L\u00f6we, M. Algebraic approach to single pushout graph transformation. Theoretical Computer Science, vol 109, 1993, pp. 181\u2013224.","journal-title":"Theoretical Computer Science"},{"key":"3_CR17","volume-title":"Proc. of the III Brazilian Symposium on Programming Languages","author":"M Maia","year":"1999","unstructured":"Maia, M. and Bigonha, R. Interaction based semantics for mobile objects, In Proc. of the III Brazilian Symposium on Programming Languages, 1999."},{"key":"3_CR18","volume-title":"Proc. of the International Conference On Distributed Platforms,IFIP\/IEEE","author":"M Merz","year":"1996","unstructured":"Merz, M. and Lamersdorf, W., Agents, Services and Electronic Markets: How Do They Integrate, In Proc. of the International Conference On Distributed Platforms,IFIP\/IEEE, 1996."},{"key":"3_CR19","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. and Parrow, J., A calculus for mobile processes I, Information and Computation, vol. 100, 1992, pp. 1\u201340.","journal-title":"Information and Computation"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Montanari, U., Pistore, M. and Rossi, F. Modeling concurrent, mobile and coordinated systems via graph transformations, The Handbook of Graph Grammars, vol. 3: Concurrency, Parallelism and Distribution, World Scientific, 1999, pp. 189\u2013268.","DOI":"10.1142\/9789812814951_0004"},{"key":"3_CR21","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/0890-5401(92)90009-5","volume":"100","author":"R Milner","year":"1992","unstructured":"Milner, R., Parrow, J., and Walker, D., A calculus for mobile processes II, Information and Computation, vol. 100, 1992, pp. 41\u201377.","journal-title":"Information and Computation"},{"key":"3_CR22","doi-asserted-by":"publisher","first-page":"1999","DOI":"10.1016\/S1389-1286(99)00076-6","volume":"31","author":"M Perdikeas","year":"1999","unstructured":"Perdikeas, M., Chatzipapadopoulos, F., Venieris, I. and Marino, G., Mobile Agent Standards and Available Platforms., Computer Networks, vol. 31, 1999, pp. 1999\u20132016.","journal-title":"Computer Networks"},{"key":"3_CR23","volume-title":"Indiana University","author":"B Pierce","year":"1997","unstructured":"Pierce, B. and Turner, D., Pict: a programming language based on the pi-calculus, Tech. Report 476, Indiana University, 1997."},{"key":"3_CR24","volume-title":"Parallel composition and unfolding semantics of graph grammars","author":"L Ribeiro","year":"1996","unstructured":"Ribeiro, L., Parallel composition and unfolding semantics of graph grammars, Ph.D. thesis, Technical University of Berlin, 1996."},{"issue":"3","key":"3_CR25","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1145\/258077.258079","volume":"6","author":"G Roman","year":"1997","unstructured":"Roman, G., McCann, P. and Plun, J., Mobile UNITY: reasoning and specification in mobile computing, ACM TOSEM, vol. 6, no. 3, 1997, pp. 250\u2013282.","journal-title":"ACM TOSEM"},{"key":"3_CR26","volume-title":"World Scientific","author":"G Rozenberg","year":"1997","unstructured":"Rozenberg, G. (editor), The Handbook of Graph Grammars, vol. 1: Foundations, World Scientific, 1997."},{"key":"3_CR27","volume-title":"Parallel and distributed graph transformation: Formal description and application to communication-based systems","author":"G Taentzer","year":"1996","unstructured":"G. Taentzer, Parallel and distributed graph transformation: Formal description and application to communication-based systems, Ph.D. thesis, Technical University of Berlin, 1996."},{"key":"3_CR28","volume-title":"A Survey of Active Network Research","author":"DL Tennenthouse","year":"1997","unstructured":"Tennenthouse, D. L., Wetherall, D. J., Smith, J. M., Minden, G. J. and Shiaskie, W., A Survey of Active Network Research, IEEE Communication Magazine, January 1997."},{"key":"3_CR29","volume-title":"Proc. of the ASA\/MA99","author":"P Wojciechowski","year":"1999","unstructured":"Wojciechowski, P., Sewell, P., Nomadic pict: language and infrastructure design for mobile agents, In Proc. of the ASA\/MA\u201999, 1999."}],"container-title":["IFIP Advances in Information and Communication Technology","Formal Methods for Open Object-Based Distributed Systems IV"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-387-35520-7_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,25]],"date-time":"2023-06-25T03:46:04Z","timestamp":1687664764000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-0-387-35520-7_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9781475710182","9780387355207"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-35520-7_3","relation":{},"ISSN":["1868-4238","1868-422X"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1868-422X"}],"subject":[],"published":{"date-parts":[[2000]]}}}