{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T22:29:11Z","timestamp":1772836151124,"version":"3.50.1"},"reference-count":104,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2010,4,1]],"date-time":"2010-04-01T00:00:00Z","timestamp":1270080000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["GR\/L62290GR\/N24872GR\/T11715EP\/C510712EP\/F036345EP\/H005633"],"award-info":[{"award-number":["GR\/L62290GR\/N24872GR\/T11715EP\/C510712EP\/F036345EP\/H005633"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Program. Lang. Syst."],"published-print":{"date-parts":[[2010,4]]},"abstract":"<jats:p>Mobile computation, in which executing computations can move from one physical computing device to another, is a recurring theme: from OS process migration, to language-level mobility, to virtual machine migration. This article reports on the design, implementation, and verification of overlay networks to support reliable communication between migrating computations, in the Nomadic Pict project. We define two levels of abstraction as calculi with precise semantics: a low-level Nomadic \u03c0 calculus with migration and location-dependent communication, and a high-level calculus that adds location-independent communication. Implementations of location-independent communication, as overlay networks that track migrations and forward messages, can be expressed as translations of the high-level calculus into the low. We discuss the design space of such overlay network algorithms and define three precisely, as such translations. Based on the calculi, we design and implement the Nomadic Pict distributed programming language, to let such algorithms (and simple applications above them) to be quickly prototyped. We go on to develop the semantic theory of the Nomadic \u03c0 calculi, proving correctness of one example overlay network. This requires novel equivalences and congruence results that take migration into account, and reasoning principles for agents that are temporarily immobile (e.g., waiting on a lock elsewhere in the system). The whole stands as a demonstration of the use of principled semantics to address challenging system design problems.<\/jats:p>","DOI":"10.1145\/1734206.1734209","type":"journal-article","created":{"date-parts":[[2010,5,6]],"date-time":"2010-05-06T17:41:18Z","timestamp":1273167678000},"page":"1-63","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":17,"title":["Nomadic pict"],"prefix":"10.1145","volume":"32","author":[{"given":"Peter","family":"Sewell","sequence":"first","affiliation":[{"name":"University of Cambridge, Cambridge, UK"}]},{"given":"Pawe\u0142 T.","family":"Wojciechowski","sequence":"additional","affiliation":[{"name":"Pozna\u0144 University of Technology, Pozna\u0144, Poland"}]},{"given":"Asis","family":"Unyapoth","sequence":"additional","affiliation":[{"name":"Government Information Technology Services, Thailand"}]}],"member":"320","published-online":{"date-parts":[[2010,4,22]]},"reference":[{"key":"e_1_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/647014.713145"},{"key":"e_1_2_2_2_1","volume-title":"Proceedings of the 14th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'94)","volume":"880","author":"Amadio R. M."},{"key":"e_1_2_2_3_1","doi-asserted-by":"crossref","unstructured":"Appel A. W. 1992. Compiling with Continuations. Cambridge University Press.   Appel A. W. 1992. Compiling with Continuations. Cambridge University Press.","DOI":"10.1017\/CBO9780511609619"},{"key":"e_1_2_2_4_1","unstructured":"Arnold K. Wollrath A. O'Sullivan B. Scheifler R. and Waldo J. 1999. The Jini Specification. Addison-Wesley Reading MA.   Arnold K. Wollrath A. O'Sullivan B. Scheifler R. and Waldo J. 1999. The Jini Specification. Addison-Wesley Reading MA."},{"key":"e_1_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/210118.210132"},{"key":"e_1_2_2_6_1","volume-title":"Proceedings of the 11th IASTED International Conference on Parallel and Distributed Computing Systems (PDCS'99)","author":"Ballintijn G."},{"key":"e_1_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159876.1159881"},{"key":"e_1_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1080091.1080123"},{"key":"e_1_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111037.1111043"},{"key":"e_1_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199516"},{"key":"e_1_2_2_11_1","series-title":"Lecture Notes in Computer Science","volume-title":"Secure Internet Programming: Security Issues for Mobile and Distributed Objects","author":"Cardelli L."},{"key":"e_1_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/647318.723476"},{"key":"e_1_2_2_13_1","volume-title":"Proceedings of the 1st International Conference on Foundations of Software Science and Computation Structure (FoSSaCS'98)","volume":"1378","author":"Cardelli L."},{"key":"e_1_2_2_14_1","volume-title":"Proceedings of the 26th International Colloquium on Automata, Languages and Programming (ICALP'99)","volume":"1644","author":"Cardelli L."},{"key":"e_1_2_2_15_1","unstructured":"Castagna G. and Vitek J. 1999. Commitment and confinement for the Seal calculus. Trusted objects Centre Universitaire d'Informatique University of Geneva.  Castagna G. and Vitek J. 1999. Commitment and confinement for the Seal calculus. Trusted objects Centre Universitaire d'Informatique University of Geneva."},{"key":"e_1_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2004.11.005"},{"key":"e_1_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/213978.213986"},{"key":"e_1_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/226643.226647"},{"key":"e_1_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/42392.42400"},{"key":"e_1_2_2_20_1","volume-title":"Proceedings of the 2nd USENIX\/ACM Symposium on Networked Systems Design and Implementation (NSDI'05)","author":"Clark C."},{"key":"e_1_2_2_21_1","volume-title":"Proceedings of the Australasian Symposium on Theory of Computing (CATS'05)","author":"Compton M.","year":"2005"},{"key":"e_1_2_2_22_1","volume-title":"Proceedings of the 1st International Symposium on Agent Systems and Applications\/3rd International Symposium on Mobile Agents (ASA\/MA'99)","author":"Conchon S."},{"key":"e_1_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(84)90113-0"},{"key":"e_1_2_2_24_1","volume-title":"Proceedings of the 12th International Symposium on Distributed Computing (DISC'98)","volume":"1499","author":"Demmer M. J."},{"key":"e_1_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159803.1159841"},{"key":"e_1_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380210802"},{"key":"e_1_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3149.214121"},{"key":"e_1_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/237721.237805"},{"key":"e_1_2_2_29_1","volume-title":"Proceedings of the 7th International Conference on Concurrency Theory (CONCUR'96)","volume":"1119","author":"Fournet C."},{"key":"e_1_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/647318.723475"},{"key":"e_1_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2005.05.002"},{"key":"e_1_2_2_32_1","volume-title":"Proceedings of the 2nd International Conference on Foundations of Software Science and Computation Structure (FoSSaCS'99)","volume":"1578","author":"Gordon A. D."},{"key":"e_1_2_2_33_1","volume-title":"Proceedings of the Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe'96)","volume":"1088","author":"Guerraoui R."},{"key":"e_1_2_2_34_1","doi-asserted-by":"crossref","unstructured":"Hennessy M. 2007. A Distributed Pi-Calculus. Cambridge University Press.   Hennessy M. 2007. A Distributed Pi-Calculus. Cambridge University Press.","DOI":"10.1017\/CBO9780511611063"},{"key":"e_1_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2007.02.003"},{"key":"e_1_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/360204.360215"},{"key":"e_1_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.5555\/882495.884431"},{"key":"e_1_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/35037.42182"},{"key":"e_1_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/237721.237804"},{"key":"e_1_2_2_40_1","unstructured":"Lange D. B. and Aridor Y. 1997. Agent Transfer Protocol\u2014ATP\/0.1. IBM Tokyo Research Laboratory.  Lange D. B. and Aridor Y. 1997. Agent Transfer Protocol\u2014ATP\/0.1. IBM Tokyo Research Laboratory."},{"key":"e_1_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/944705.944714"},{"key":"e_1_2_2_42_1","unstructured":"Leroy X. 1995. Le syst\u00e8me Caml Special Light: Modules et compilation efficace en Caml. Tech. rep. RR-2721 INRIA Institut National de Recherche en Informatique et en Automatique.  Leroy X. 1995. Le syst\u00e8me Caml Special Light: Modules et compilation efficace en Caml. Tech. rep. RR-2721 INRIA Institut National de Recherche en Informatique et en Automatique."},{"key":"e_1_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/325694.325741"},{"key":"e_1_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095809.1095818"},{"key":"e_1_2_2_45_1","volume-title":"Proceedings of the 2nd International Conference on Coordination Languages and Models (COORDINATION'97)","volume":"1282","author":"McCann P. J."},{"key":"e_1_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/1101821.1101825"},{"key":"e_1_2_2_47_1","unstructured":"Milner R.\n     1989.\n      \n  \n   \n  Communication and Concurrency\n  . \n  International Series in Computer Science\n  . \n  Prentice Hall\n  .   Milner R. 1989. Communication and Concurrency. International Series in Computer Science. Prentice Hall."},{"key":"e_1_2_2_48_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129500001407"},{"key":"e_1_2_2_49_1","volume-title":"Logic and Algebra of Specification","author":"Milner R."},{"key":"e_1_2_2_50_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90008-4"},{"key":"e_1_2_2_51_1","doi-asserted-by":"crossref","unstructured":"Milner R. Tofte M. Harper R. and MacQueen D. 1997. The Definition of Standard ML (revised). The MIT Press.   Milner R. Tofte M. Harper R. and MacQueen D. 1997. The Definition of Standard ML (revised). The MIT Press.","DOI":"10.7551\/mitpress\/2319.001.0001"},{"key":"e_1_2_2_52_1","unstructured":"Miloji&cbreve;i\u0107 D. Douglis F. and Wheeler R. Eds. 1999. Mobility: Processes Computers and Agents. Addison-Wesley Reading MA.   Miloji&cbreve;i\u0107 D. Douglis F. and Wheeler R. Eds. 1999. Mobility: Processes Computers and Agents. Addison-Wesley Reading MA."},{"key":"e_1_2_2_53_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(00)00011-3"},{"key":"e_1_2_2_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/508791.508810"},{"key":"e_1_2_2_55_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01762123"},{"key":"e_1_2_2_56_1","unstructured":"Murphy VII T. 2008. Modal types for mobile code. Ph.D. thesis Tech. rep. CMU-CS-08-126 Carnegie Mellon University.   Murphy VII T. 2008. Modal types for mobile code. Ph.D. thesis Tech. rep. CMU-CS-08-126 Carnegie Mellon University."},{"key":"e_1_2_2_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/90417.90741"},{"key":"e_1_2_2_58_1","unstructured":"Nestmann U. 1996. On determinacy and nondeterminacy in concurrent programming. Ph.D. thesis Technische Fakult\u00e4t Universit\u00e4t Erlangen.  Nestmann U. 1996. On determinacy and nondeterminacy in concurrent programming. Ph.D. thesis Technische Fakult\u00e4t Universit\u00e4t Erlangen."},{"key":"e_1_2_2_59_1","volume-title":"Proceedings of the 7th International Conference on Concurrency Theory (CONCUR'96)","volume":"1119","author":"Nestmann U."},{"key":"e_1_2_2_60_1","doi-asserted-by":"crossref","unstructured":"Nielson F. Ed. 1997. ML with Concurrency: Design Analysis Implementation and Application. Monographs in Computer Science. Springer.   Nielson F. Ed. 1997. ML with Concurrency: Design Analysis Implementation and Application. Monographs in Computer Science. Springer.","DOI":"10.1007\/978-1-4612-2274-3"},{"key":"e_1_2_2_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263731"},{"key":"e_1_2_2_62_1","volume-title":"Proceedings of the 3rd International Conference on Concurrency Theory (CONCUR'92)","volume":"630","author":"Parrow J."},{"key":"e_1_2_2_63_1","doi-asserted-by":"publisher","DOI":"10.1017\/S096012950007002X"},{"key":"e_1_2_2_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263729"},{"key":"e_1_2_2_65_1","volume-title":"Theory and Practice of Parallel Programming: Proceedings of the International Workshop (TPPP'94)","volume":"907","author":"Pierce B. C."},{"key":"e_1_2_2_66_1","unstructured":"Pierce B. C. and Turner D. N. 1997. Pict Language Definition. Available electronically as part of the Pict distribution. www.cis.upenn.edu\/~bcpirce\/papers\/pict\/Html\/Pict.html. (3\/28\/10).  Pierce B. C. and Turner D. N. 1997. Pict Language Definition. Available electronically as part of the Pict distribution. www.cis.upenn.edu\/~bcpirce\/papers\/pict\/Html\/Pict.html. (3\/28\/10)."},{"key":"e_1_2_2_67_1","volume-title":"Pict: A programming language based on the pi-calculus. In Proof, Language and Interaction: Essays in Honour of Robin Milner","author":"Pierce B. C.","year":"2000"},{"key":"e_1_2_2_68_1","doi-asserted-by":"crossref","unstructured":"Popek G. J. and Walker B. J. 1986. The LOCUS Distributed System Architecture. Computer Systems Series. MIT Press Cambridge MA.   Popek G. J. and Walker B. J. 1986. The LOCUS Distributed System Architecture. Computer Systems Series. MIT Press Cambridge MA.","DOI":"10.7551\/mitpress\/4279.001.0001"},{"key":"e_1_2_2_69_1","doi-asserted-by":"publisher","DOI":"10.1145\/1480881.1480934"},{"key":"e_1_2_2_70_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68237-0_21"},{"key":"e_1_2_2_71_1","volume-title":"Proceedings of the 24th International Colloquium on Automata, Languages and Programming (ICALP'97)","volume":"1256","author":"Riely J."},{"key":"e_1_2_2_72_1","doi-asserted-by":"publisher","DOI":"10.1145\/268946.268978"},{"key":"e_1_2_2_73_1","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292551"},{"key":"e_1_2_2_74_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(99)00040-7"},{"key":"e_1_2_2_75_1","volume-title":"Proceedings of the 3rd International Conference on Concurrency Theory (CONCUR'92)","volume":"630","author":"Sangiorgi D."},{"key":"e_1_2_2_76_1","volume-title":"Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software (TACS'01)","volume":"2215","author":"Serjantov A."},{"key":"e_1_2_2_77_1","doi-asserted-by":"publisher","DOI":"10.5555\/646732.703871"},{"key":"e_1_2_2_78_1","series-title":"Lecture Notes in Computer Science","volume-title":"Proceedings of the 25th International Colloquium on Automata, Languages and Programming (ICALP'98)","author":"Sewell P."},{"key":"e_1_2_2_79_1","unstructured":"Sewell P. 2000. A brief introduction to applied &pi;. Tech. rep. 498 Computer Laboratory University of Cambridge Cambridge UK.  Sewell P. 2000. A brief introduction to applied &pi;. Tech. rep. 498 Computer Laboratory University of Cambridge Cambridge UK."},{"key":"e_1_2_2_80_1","doi-asserted-by":"publisher","DOI":"10.1145\/360204.360225"},{"key":"e_1_2_2_81_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086365.1086370"},{"key":"e_1_2_2_82_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796807006442"},{"key":"e_1_2_2_83_1","doi-asserted-by":"publisher","DOI":"10.5555\/859246.859248"},{"key":"e_1_2_2_84_1","volume-title":"Proceedings of the Joint HP-MSR Research Workshop on The Rise and Rise of the Declarative Datacentre. http:\/\/research.microsoft.com\/riseandrise (2\/13\/10)","author":"Sewell P."},{"key":"e_1_2_2_85_1","volume-title":"Proceedings of the Workshop on Internet Programming Languages (IFL'98)","author":"Sewell P."},{"key":"e_1_2_2_86_1","volume-title":"Internet Programming Languages. Lecture Notes in Computer Science","volume":"1686","author":"Sewell P."},{"key":"e_1_2_2_87_1","volume-title":"Proceedings of the 7th International Conference on Concurrency Theory (CONCUR'96)","volume":"1119","author":"Thomsen B."},{"key":"e_1_2_2_88_1","unstructured":"Turner D. N. 1996. The polymorphic pi-calculus: Theory and implementation. Ph.D. thesis University of Edinburgh.  Turner D. N. 1996. The polymorphic pi-calculus: Theory and implementation. Ph.D. thesis University of Edinburgh."},{"key":"e_1_2_2_89_1","unstructured":"Unyapoth A. 2001. Nomadic &pi;-calculi: Expressing and verifying communication infrastructure for mobile computation. Ph.D. thesis University of Cambridge. Also Tech. rep. UCAM-CL-TR-514 Computer Laboratory University of Cambridge.  Unyapoth A. 2001. Nomadic &pi;-calculi: Expressing and verifying communication infrastructure for mobile computation. Ph.D. thesis University of Cambridge. Also Tech. rep. UCAM-CL-TR-514 Computer Laboratory University of Cambridge."},{"key":"e_1_2_2_90_1","doi-asserted-by":"publisher","DOI":"10.1145\/360204.360214"},{"key":"e_1_2_2_91_1","unstructured":"Van Roy P. and Haridi S. 2004. Concepts Techniques and Models of Computer Programming. MIT Press.   Van Roy P. and Haridi S. 2004. Concepts Techniques and Models of Computer Programming. MIT Press."},{"key":"e_1_2_2_92_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/41.5.297"},{"key":"e_1_2_2_93_1","volume-title":"Proceedings of the 3rd International Workshop on High-Level Concurrent Languages (HLCL'98)","volume":"16","author":"Vasconcelos V. T."},{"key":"e_1_2_2_94_1","volume-title":"Proceedings of the Workshop on Internet Programming Languages, in Conjunction with IEEE ICCL'98","author":"Vitek J."},{"key":"e_1_2_2_95_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1995.1018"},{"key":"e_1_2_2_96_1","volume-title":"Proceedings of the 11th European Symposium on Programming Languages and Systems (ESOP'02)","volume":"2305","author":"Wansbrough K."},{"key":"e_1_2_2_97_1","unstructured":"Wojciechowski P. T. 2000a. Nomadic Pict. Documentation and User's Manual. (2\/13\/10)  Wojciechowski P. T. 2000a. Nomadic Pict. Documentation and User's Manual. (2\/13\/10)"},{"key":"e_1_2_2_98_1","unstructured":"Wojciechowski P. T. 2000b. Nomadic Pict: Language and infrastructure design for mobile computation. Ph.D. thesis University of Cambridge. Also Tech. rep. UCAM-CL-TR-492 Computer Laboratory University of Cambridge.  Wojciechowski P. T. 2000b. Nomadic Pict: Language and infrastructure design for mobile computation. Ph.D. thesis University of Cambridge. Also Tech. rep. UCAM-CL-TR-492 Computer Laboratory University of Cambridge."},{"key":"e_1_2_2_99_1","unstructured":"Wojciechowski P. T. 2010. The Nomadic Pict System. http:\/\/www.cs.put.poznan.pl\/pawelw\/npict (2\/13\/10).  Wojciechowski P. T. 2010. The Nomadic Pict System. http:\/\/www.cs.put.poznan.pl\/pawelw\/npict (2\/13\/10)."},{"key":"e_1_2_2_100_1","volume-title":"Proceedings of the AISB Symposium on Software Mobility and Adaptive Behaviour.","author":"Wojciechowski P. T.","year":"2001"},{"key":"e_1_2_2_101_1","doi-asserted-by":"publisher","DOI":"10.1007\/11802167_37"},{"key":"e_1_2_2_102_1","volume-title":"Proceedings of the 1st International Symposium on Agent Systems and Applications\/3rd International Symposium on Mobile Agents (ASA\/MA'99)","author":"Wojciechowski P. T."},{"key":"e_1_2_2_103_1","doi-asserted-by":"publisher","DOI":"10.1109\/4434.846193"},{"key":"e_1_2_2_104_1","volume-title":"Proceedings of the 10th International Conference on Concurrency Theory (CONCUR'99)","volume":"1664","author":"Yoshida N."}],"container-title":["ACM Transactions on Programming Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1734206.1734209","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1734206.1734209","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:45:28Z","timestamp":1750250728000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1734206.1734209"}},"subtitle":["Programming languages, communication infrastructure overlays, and semantics for mobile computation"],"short-title":[],"issued":{"date-parts":[[2010,4]]},"references-count":104,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2010,4]]}},"alternative-id":["10.1145\/1734206.1734209"],"URL":"https:\/\/doi.org\/10.1145\/1734206.1734209","relation":{},"ISSN":["0164-0925","1558-4593"],"issn-type":[{"value":"0164-0925","type":"print"},{"value":"1558-4593","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,4]]},"assertion":[{"value":"2008-12-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2009-09-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2010-04-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}