{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:48:41Z","timestamp":1740098921197,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642360077"},{"type":"electronic","value":"9783642360084"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-36008-4_2","type":"book-chapter","created":{"date-parts":[[2013,1,2]],"date-time":"2013-01-02T02:37:42Z","timestamp":1357094262000},"page":"18-49","source":"Crossref","is-referenced-by-count":5,"title":["Formal Modeling of Mobile Computing Systems Based on Ambient Abstract State Machines"],"prefix":"10.1007","author":[{"given":"K\u00e1roly","family":"B\u00f3sa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"Blass, A., Gurevich, Y.: Abstract State Machines Capture Parallel Algorithms: Correction and Extension, vol.\u00a09, pp. 19:1\u201319:32. ACM, New York (2008), http:\/\/doi.acm.org\/10.1145\/1352582.1352587"},{"key":"2_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-18216-7","volume-title":"Abstract State Machines: A Method for High-Level System Design and Analysis","author":"E. B\u00f6rger","year":"2003","unstructured":"B\u00f6rger, E., Stark, R.F.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer-Verlag New York, Inc., Secaucus (2003)"},{"issue":"3","key":"2_CR3","first-page":"939","volume":"78","author":"E. B\u00f6rger","year":"2012","unstructured":"B\u00f6rger, E., Cisternino, A., Gervasi, V.: Ambient Abstract State Machines with Applications. J.CSS (Special Issue in honor of Amir Pnueli)\u00a078(3), 939\u2013959 (2012), http:\/\/dx.doi.org\/10.1016\/j.jcss.2011.08.004","journal-title":"J.CSS (Special Issue in honor of Amir Pnueli)"},{"key":"2_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/3-540-44622-2_3","volume-title":"Computer Science Logic","author":"E. B\u00f6rger","year":"2000","unstructured":"B\u00f6rger, E., Schmid, J.: Composition and Submachine Concepts for Sequential ASMs. In: Clote, P.G., Schwichtenberg, H. (eds.) CSL 2000. LNCS, vol.\u00a01862, pp. 41\u201360. Springer, Heidelberg (2000)"},{"key":"2_CR5","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/BF01221098","volume":"6","author":"G. Boudol","year":"1994","unstructured":"Boudol, G., Castellani, I., Hennessy, M., Kiehn, A.: A Theory of Processes with Localities. Formal Aspects of Computing\u00a06, 165\u2013200 (1994), http:\/\/dx.doi.org\/10.1007\/BF01221098 , doi:10.1007\/BF01221098","journal-title":"Formal Aspects of Computing"},{"key":"2_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/3-540-54345-7_52","volume-title":"Mathematical Foundations of Computer Science 1991","author":"G. Boudol","year":"1991","unstructured":"Boudol, G., Castellani, I., Hennessy, M., Kiehn, A.: Observing Localities. In: Tarlecki, A. (ed.) MFCS 1991. LNCS, vol.\u00a0520, pp. 93\u2013102. Springer, Heidelberg (1991)"},{"key":"2_CR7","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.D. (eds.) Secure Internet Programming. LNCS, vol.\u00a01603, pp. 51\u201394. Springer, Heidelberg (1999)"},{"key":"#cr-split#-2_CR8.1","unstructured":"Cardelli, L.: Mobility and Security. In: Bauer, F.L., Steinbr??ggen, R. (eds.) Foundations of Secure Computation Proc. NATO Advanced Study Institute, pp. 3???37. IOS Press (1999);"},{"key":"#cr-split#-2_CR8.2","unstructured":"Lecture Notes for Marktoberdorf Summer School 1999 (A summary of several Ambient Calculus papers)"},{"issue":"1","key":"2_CR9","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/S0304-3975(99)00231-5","volume":"240","author":"L. Cardelli","year":"2000","unstructured":"Cardelli, L., Gordon, A.D.: Mobile Ambients. Theor. Comput. Sci.\u00a0240(1), 177\u2013213 (2000)","journal-title":"Theor. Comput. Sci."},{"issue":"4","key":"2_CR10","doi-asserted-by":"publisher","first-page":"887","DOI":"10.1145\/76359.76369","volume":"36","author":"I. Castellani","year":"1989","unstructured":"Castellani, I., Hennessy, M.: Distributed Bisimulations. J. ACM\u00a036(4), 887\u2013911 (1989)","journal-title":"J. ACM"},{"key":"2_CR11","first-page":"71","volume":"77","author":"R. Farahbod","year":"2007","unstructured":"Farahbod, R., Gervasi, V., Gl\u00e4sser, U.: CoreASM: An Extensible ASM Execution Engine. Fundam. Inf.\u00a077, 71\u2013103 (2007), http:\/\/dl.acm.org\/citation.cfm?id=1365972.1365976","journal-title":"Fundam. Inf."},{"key":"2_CR12","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1017\/S0960129502003742","volume":"13","author":"A.D. Gordon","year":"2003","unstructured":"Gordon, A.D., Cardelli, L.: Equational Properties of Mobile Ambients. Mathematical Structures in Comp. Sci.\u00a013, 371\u2013408 (2003), http:\/\/dl.acm.org\/citation.cfm?id=966815.966816","journal-title":"Mathematical Structures in Comp. Sci."},{"key":"2_CR13","unstructured":"Gurevich, Y.: Evolving Algebra 1993: Lipari Guide. In: International Conference on Functional Programming, pp. 9\u201336. Oxford University Press (1994)"},{"key":"2_CR14","first-page":"77","volume-title":"Sequential Abstract State Machines Capture Sequential Algorithms","author":"Y. Gurevich","year":"2000","unstructured":"Gurevich, Y.: Sequential Abstract State Machines Capture Sequential Algorithms, vol.\u00a01, pp. 77\u2013111. ACM, New York (2000), http:\/\/doi.acm.org\/10.1145\/343369.343384"},{"key":"2_CR15","unstructured":"Kiehn, A.: Distributed Bisimulations for Finite CCS. Tech. Rep. 7\/89, Computer Science, School of Cognitive and Computing Sciences, University of Sussex, Brighton BN1 9QH (December 1989)"},{"key":"2_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communication Systems","author":"R. Milner","year":"1980","unstructured":"Milner, R.: A Calculus of Communication Systems. LNCS, vol.\u00a092. Springer, Heidelberg (1980)"},{"key":"2_CR17","unstructured":"Milner, R.: Communication and Concurrency. PHI Series in computer science. Prentice Hall (1989)"},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"Milner, R., Parrow, J., Walker, D.: A Calculus of Mobile Processes, Parts I. and II. Information and Computation\u00a0100(1), 1\u201377 (1992), http:\/\/dx.doi.org\/10.1016\/0890-5401(92)90008-4","DOI":"10.1016\/0890-5401(92)90008-4"},{"key":"2_CR19","unstructured":"de Oliveira Valente, M.T., da Silva Bigonha, R., Loureiro, A.A.F., de Almeida Maia, M.: Abstractions for Mobile Computation in ASM. In: Graham, P., Maheswaran, M. (eds.) Proceedings of the International Conference on Internet Computing, IC 2000, Las Vegas, Nevada, USA, June 26-29, pp. 165\u2013172. CSREA Press (2000)"},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"Pierce, B.C., Turner, D.N.: Pict: A Programming Language Based on the Pi-Calculus. In: Plotkin, G., Stirling, C., Tofte, M. (eds.) Proof, Language and Interaction: Essays in Honour of Robin Milner, Foundations of Computing, pp. 455\u2013494. MIT Press (May 2000)","DOI":"10.7551\/mitpress\/5641.003.0022"},{"key":"2_CR21","unstructured":"Turner, D.N.: The Polymorphic Pi-calculus: Theory and Implementation. PhD thesis, LFCS (June 1996), CST-126-96 (also published as ECS-LFCS-96-345)"}],"container-title":["Lecture Notes in Computer Science","Semantics in Data and Knowledge Bases"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-36008-4_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,4]],"date-time":"2024-05-04T04:37:17Z","timestamp":1714797437000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-36008-4_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642360077","9783642360084"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-36008-4_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}