{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T14:51:18Z","timestamp":1773327078712,"version":"3.50.1"},"reference-count":51,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2014,12,10]],"date-time":"2014-12-10T00:00:00Z","timestamp":1418169600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["SOCA"],"published-print":{"date-parts":[[2015,9]]},"DOI":"10.1007\/s11761-014-0173-7","type":"journal-article","created":{"date-parts":[[2014,12,9]],"date-time":"2014-12-09T17:00:03Z","timestamp":1418144403000},"page":"285-309","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Location-independent routing in process network overlays"],"prefix":"10.1007","volume":"9","author":[{"given":"Mads","family":"Dam","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karl","family":"Palmskog","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,12,10]]},"reference":[{"issue":"1","key":"173_CR1","first-page":"3","volume":"32","author":"DJ Abadi","year":"2009","unstructured":"Abadi DJ (2009) Data management in the cloud: limitations and opportunities. IEEE Data Eng Bull 32(1):3\u201312","journal-title":"IEEE Data Eng Bull"},{"key":"173_CR2","volume-title":"The Jini specification","author":"K Arnold","year":"2000","unstructured":"Arnold K (2000) The Jini specification, 2nd edn. Addison-Wesley Longman, Boston","edition":"2"},{"issue":"5","key":"173_CR3","doi-asserted-by":"crossref","first-page":"1021","DOI":"10.1145\/210118.210132","volume":"42","author":"B Awerbuch","year":"1995","unstructured":"Awerbuch B, Peleg D (1995) Online tracking of mobile users. J ACM 42(5):1021\u20131058","journal-title":"J ACM"},{"key":"173_CR4","doi-asserted-by":"crossref","unstructured":"Barham P, Dragovic B, Fraser K, Hand S, Harris T, Ho A, Neugebauer R, Pratt I, Warfield A (2003) Xen and the art of virtualization. In: Proceedings of the 19th ACM symposium on operating systems principles, SOSP \u201903. ACM, New York, NY, USA, pp 164\u2013177","DOI":"10.1145\/945445.945462"},{"key":"173_CR5","doi-asserted-by":"crossref","unstructured":"Bettini L, Bono V, De Nicola R, Ferrari G, Gorla D, Loreti M, Moggi E, Pugliese R, Tuosto E, Venneri B (2003) The Klaim project: theory and practice. In: Priami C (ed) Global computing, programming environments, languages, security, and analysis of systems, Lecture Notes in Computer Science, vol 2874. Springer, Berlin, pp 88\u2013150","DOI":"10.1007\/978-3-540-40042-4_4"},{"key":"173_CR6","doi-asserted-by":"crossref","unstructured":"Bishop S, Fairbairn M, Norrish M, Sewell P, Smith M, Wansbrough K (2005) Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP, and sockets. In: Proceedings of the 2005 conference on applications, technologies, architectures, and protocols for computer communications, SIGCOMM \u201905. ACM, New York, NY, USA, pp 265\u2013276","DOI":"10.1145\/1080091.1080123"},{"key":"173_CR7","unstructured":"Bonwick J (2007) Rampant layering violation? http:\/\/blogs.oracle.com\/bonwick\/entry\/rampant_layering_violation . Retrieved 18 Feb 2014"},{"issue":"4","key":"173_CR8","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1145\/1151659.1159955","volume":"36","author":"M Caesar","year":"2006","unstructured":"Caesar M, Condie T, Kannan J, Lakshminarayanan K, Stoica I (2006) ROFL: routing on flat labels. ACM SIGCOMM Comput Commun Rev 36(4):363\u2013374","journal-title":"ACM SIGCOMM Comput Commun Rev"},{"key":"173_CR9","doi-asserted-by":"crossref","unstructured":"Cardelli L, Gordon AD (1998) Mobile ambients. In: Nivat M (ed) Foundations of software science and computation structures, Lecture Notes in Computer Science, vol 1378. Springer, Berlin, pp 140\u2013155","DOI":"10.1007\/BFb0053547"},{"key":"173_CR10","unstructured":"Carlsson R (2001) An introduction to Core Erlang. In: Proceedings of the PLI\u201901 Erlang workshop"},{"issue":"4","key":"173_CR11","doi-asserted-by":"crossref","first-page":"459","DOI":"10.1016\/j.ic.2008.12.004","volume":"207","author":"D Caromel","year":"2009","unstructured":"Caromel D, Henrio L, Serpette BP (2009) Asynchronous sequential processes. Inf Comput 207(4):459\u2013495","journal-title":"Inf Comput"},{"issue":"2","key":"173_CR12","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1145\/226643.226647","volume":"43","author":"TD Chandra","year":"1996","unstructured":"Chandra TD, Toueg S (1996) Unreliable failure detectors for reliable distributed systems. J ACM 43(2):225\u2013267","journal-title":"J ACM"},{"issue":"2","key":"173_CR13","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1016\/S0304-3975(01)00359-0","volume":"285","author":"M Clavel","year":"2002","unstructured":"Clavel M, Dur\u00e1n F, Eker S, Lincoln P, Mart\u00ed-Oliet N, Meseguer J, Quesada JF (2002) Maude: specification and programming in rewriting logic. Theor Comput Sci 285(2):187\u2013243","journal-title":"Theor Comput Sci"},{"key":"173_CR14","doi-asserted-by":"crossref","unstructured":"Conchon S, Le Fessant F (1999) Jocaml: mobile agents for objective-caml. In: Agent systems and applications, 1999 and third international symposium on mobile agents. Proceedings. First international symposium on, pp 22\u201329. IEEE","DOI":"10.1109\/ASAMA.1999.805390"},{"key":"173_CR15","doi-asserted-by":"crossref","unstructured":"Dam M, Palmskog K (2013) Efficient and fully abstract routing of futures in object network overlays. In: Proceedings of the 2013 workshop on programming based on actors, agents, and decentralized control, AGERE! \u201913. ACM, New York, NY, USA, pp 49\u201360","DOI":"10.1145\/2541329.2541340"},{"key":"173_CR16","doi-asserted-by":"crossref","unstructured":"Demmer MJ, Herlihy MP (1998) The arrow distributed directory protocol. In: Kutten S (ed) Distributed computing, Lecture Notes in Computer Science, vol 1499. Springer, Berlin, pp 119\u2013133","DOI":"10.1007\/BFb0056478"},{"issue":"8","key":"173_CR17","doi-asserted-by":"crossref","first-page":"757","DOI":"10.1002\/spe.4380210802","volume":"21","author":"F Douglis","year":"1991","unstructured":"Douglis F, Ousterhout J (1991) Transparent process migration: design alternatives and the sprite implementation. Softw Pract Exp 21(8):757\u2013785","journal-title":"Softw Pract Exp"},{"key":"173_CR18","doi-asserted-by":"crossref","unstructured":"Field J, Varela CA (2005) Transactors: a programming model for maintaining globally consistent distributed state in unreliable environments. In: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL \u201905. ACM, New York, NY, USA, pp 195\u2013208","DOI":"10.1145\/1040305.1040322"},{"key":"173_CR19","doi-asserted-by":"crossref","unstructured":"Fournet C, Gonthier G, Levy JJ, Maranget L, R\u00e9my D (1996) A calculus of mobile agents. In: Montanari U, Sassone V (eds) CONCUR \u201996: concurrency theory, Lecture Notes in Computer Science, vol 1119. Springer, Berlin, pp 406\u2013421","DOI":"10.1007\/3-540-61604-7_67"},{"key":"173_CR20","doi-asserted-by":"crossref","unstructured":"Havelka D, Schulte C, Brand P, Haridi S (2005) Thread-based mobility in Oz. In: Roy P (ed) Multiparadigm programming in Mozart\/Oz, Lecture Notes in Computer Science, vol 3389. Springer, Berlin, pp 137\u2013148","DOI":"10.1007\/978-3-540-31845-3_12"},{"key":"173_CR21","doi-asserted-by":"crossref","unstructured":"Henrio L, Huet F, Istv\u00e1n Z (2013) Multi-threaded active objects. In: De Nicola R, Julien C (eds) Coordination models and languages, Lecture Notes in Computer Science, vol 7890. Springer, Berlin, pp 90\u2013104","DOI":"10.1007\/978-3-642-38493-6_7"},{"key":"173_CR22","doi-asserted-by":"crossref","unstructured":"Jacobson V, Smetters DK, Thornton JD, Plass MF, Briggs NH, Braynard RL (2009) Networking named content. In: Proceedings of the 5th international conference on emerging networking experiments and technologies, CoNEXT \u201909. ACM, New York, NY, USA, pp 1\u201312","DOI":"10.1145\/1658939.1658941"},{"key":"173_CR23","doi-asserted-by":"crossref","unstructured":"Jeffrey A, Rathke J (2005) Contextual equivalence for higher-order pi-calculus revisited. Log Methods Comput Sci 1(1), paper 4. doi: 10.2168\/LMCS-1(1:4)2005","DOI":"10.2168\/LMCS-1(1:4)2005"},{"key":"173_CR24","doi-asserted-by":"crossref","unstructured":"Jennings B, Stadler R (2014) Resource management in clouds: survey and research challenges. J Netw Syst Manag 1\u201353. doi: 10.1007\/s10922-014-9307-7","DOI":"10.1007\/s10922-014-9307-7"},{"key":"173_CR25","doi-asserted-by":"crossref","unstructured":"Johnsen EB, H\u00e4hnle R, Sch\u00e4fer J, Schlatte R, Steffen M (2012) ABS: a core language for abstract behavioral specification. In: Aichernig BK, de Boer FS, Bonsangue MM (eds) Formal methods for components and objects, Lecture Notes in Computer Science, vol 6957. Springer, Berlin, pp 142\u2013164","DOI":"10.1007\/978-3-642-25271-6_8"},{"issue":"1\u20132","key":"173_CR26","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/j.tcs.2006.07.031","volume":"365","author":"EB Johnsen","year":"2006","unstructured":"Johnsen EB, Owe O, Yu IC (2006) Creol: a type-safe object-oriented model for distributed concurrent systems. Theor Comput Sci 365(1\u20132):23\u201366","journal-title":"Theor Comput Sci"},{"key":"173_CR27","doi-asserted-by":"crossref","unstructured":"Johnsen EB, Schlatte R, Tapia Tarifa SL (2012) A formal model of object mobility in resource-restricted deployment scenarios. In: Arbab F, \u00d6lveczky PC (eds) Formal aspects of component software, Lecture Notes in Computer Science, vol 7253. Springer, Berlin, pp. 187\u2013204","DOI":"10.1007\/978-3-642-35743-5_12"},{"key":"173_CR28","doi-asserted-by":"crossref","unstructured":"Jul E, Levy H, Hutchinson N, Black A (1988) Fine-grained mobility in the Emerald system. ACM Trans Comput Syst 6(1):109\u2013133","DOI":"10.1145\/35037.42182"},{"key":"173_CR29","doi-asserted-by":"crossref","unstructured":"Klein G, Elphinstone K, Heiser G, Andronick J, Cock D, Derrin P, Elkaduwe D, Engelhardt K, Kolanski R, Norrish M, Sewell T, Tuch H, Winwood S (2009) seL4: formal verification of an OS kernel. In: Proceedings of the ACM SIGOPS 22nd symposium on operating systems principles, SOSP \u201909. ACM, New York, NY, USA, pp 207\u2013220","DOI":"10.1145\/1629575.1629596"},{"key":"173_CR30","doi-asserted-by":"crossref","unstructured":"Lienhardt M, Schmitt A, Stefani JB (2007) Oz\/K: a kernel language for component-based open programming. In: Proceedings of the 6th international conference on Generative programming and component engineering, GPCE \u201907. ACM, New York, NY, USA, pp 43\u201352","DOI":"10.1145\/1289971.1289980"},{"key":"173_CR31","doi-asserted-by":"crossref","unstructured":"Marinos I, Watson RNM, Handley M (2013) Network stack specialization for performance. In: Proceedings of the twelfth ACM workshop on hot topics in networks, HotNets-XII. ACM, New York, NY, USA, pp 9:1\u20139:7","DOI":"10.1145\/2535771.2535779"},{"issue":"3","key":"173_CR32","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1145\/1317103.1317110","volume":"4","author":"K Mechitov","year":"2007","unstructured":"Mechitov K, Razavi R, Agha G (2007) Architecture design principles to support adaptive service orchestration in WSN applications. ACM SIGBED Rev 4(3):37\u201342","journal-title":"ACM SIGBED Rev"},{"key":"173_CR33","doi-asserted-by":"crossref","unstructured":"Milner R, Parrow J, Walker D (1992) A calculus of mobile processes, I and II. Inf Comput 100(1):1\u201340, 41\u201377","DOI":"10.1016\/0890-5401(92)90008-4"},{"key":"173_CR34","doi-asserted-by":"crossref","unstructured":"Nestmann U, Fuzzati R, Merro M (2003) Modeling consensus in a process calculus. In: Amadio R, Lugiez D (eds) CONCUR 2003\u2014concurrency theory, Lecture Notes in Computer Science, vol 2761. Springer, Berlin, pp 399\u2013414. doi: 10.1007\/978-3-540-45187-7_26","DOI":"10.1007\/978-3-540-45187-7_26"},{"key":"173_CR35","unstructured":"Palmskog K (2014) Towards correct and efficient program execution in decentralized networks: programming languages, semantics, and resource management. Ph.D. thesis, KTH Royal Institute of Technology"},{"key":"173_CR36","doi-asserted-by":"crossref","unstructured":"Palmskog K, Dam M, Lundblad A, Jafari A (2013) ABS-NET: fully decentralized runtime adaptation for distributed objects. In: Carbone M, Lanese I, Lafuente AL, Sokolova A (eds) Proceedings 6th interaction and concurrency experience, Florence, Italy, 6th June 2013, electronic proceedings in theoretical computer science, vol 131. Open Publishing Association, pp 85\u2013100","DOI":"10.4204\/EPTCS.131.8"},{"issue":"02","key":"173_CR37","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1142\/S0218843008001816","volume":"17","author":"MP Papazoglou","year":"2008","unstructured":"Papazoglou MP, Traverso P, Dustdar S, Leymann F (2008) Service-oriented computing: a research roadmap. Int J Coop Inf Syst 17(02):223\u2013255","journal-title":"Int J Coop Inf Syst"},{"issue":"14","key":"173_CR38","doi-asserted-by":"crossref","first-page":"1151","DOI":"10.1016\/S0140-3664(96)01149-8","volume":"19","author":"J Parrow","year":"1996","unstructured":"Parrow J, Sj\u00f6din P (1996) Designing a multiway synchronization protocol. Comput Commun 19(14):1151\u20131160","journal-title":"Comput Commun"},{"key":"173_CR39","doi-asserted-by":"crossref","first-page":"455","DOI":"10.7551\/mitpress\/5641.003.0022","volume-title":"Proof, language and interaction: essays in honour of Robin Milner","author":"BC Pierce","year":"2000","unstructured":"Pierce BC, Turner DN (2000) 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. MIT Press, Cambridge, MA, USA, pp 455\u2013494"},{"key":"173_CR40","doi-asserted-by":"crossref","unstructured":"Pitts AM (2011) Howe\u2019s method for higher-order languages. In: Sangiorgi D, Rutten JJMM (eds) Advanced topics in bisimulation and coinduction, Cambridge tracts in theoretical computer science, vol 52, Chap 5. Cambridge University Press, Cambridge, pp 197\u2013232","DOI":"10.1017\/CBO9780511792588.006"},{"key":"173_CR41","doi-asserted-by":"crossref","unstructured":"Sangiorgi D, Kobayashi N, Sumii E (2011) Environmental bisimulations for higher-order languages. ACM Trans Program Lang Syst 33(1):5:1\u20135:69","DOI":"10.1145\/1889997.1890002"},{"key":"173_CR42","doi-asserted-by":"crossref","unstructured":"Schaefer I, H\u00e4hnle R (2011) Formal methods in software product line engineering. IEEE Comput 44(2):82\u201385","DOI":"10.1109\/MC.2011.47"},{"key":"173_CR43","unstructured":"Sch\u00e4fer J (2010) A programming model and language for concurrent and distributed object-oriented systems. Ph.D. thesis, University of Kaiserslautern"},{"issue":"4","key":"173_CR44","doi-asserted-by":"crossref","first-page":"12:1","DOI":"10.1145\/1734206.1734209","volume":"32","author":"P Sewell","year":"2010","unstructured":"Sewell P, Wojciechowski PT, Unyapoth A (2010) Nomadic pict: programming languages, communication infrastructure overlays, and semantics for mobile computation. ACM Trans Program Lang Syst 32(4):12:1\u201312:63","journal-title":"ACM Trans Program Lang Syst"},{"key":"173_CR45","doi-asserted-by":"crossref","unstructured":"Singla A, Godfrey PB, Fall K, Iannaccone G, Ratnasamy S (2010) Scalable routing on flat names. In: Proceedings of the 6th international conference on emerging networking experiments and technologies, CoNEXT \u201910. ACM, New York, NY, USA, pp 20:1\u201320:12","DOI":"10.1145\/1921168.1921195"},{"issue":"3","key":"173_CR46","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1109\/TSE.1983.236608","volume":"9","author":"D Skeen","year":"1983","unstructured":"Skeen D, Stonebraker M (1983) A formal model of crash recovery in a distributed system. IEEE Trans Softw Eng 9(3):219\u2013228","journal-title":"IEEE Trans Softw Eng"},{"key":"173_CR47","doi-asserted-by":"crossref","unstructured":"Smolka G (1995) The definition of Kernel Oz. In: Podelski A (ed) Constraint programming: basics and trends, Lecture Notes in Computer Science, vol 910. Springer, Berlin, pp 251\u2013292","DOI":"10.1007\/3-540-59155-9_14"},{"issue":"5","key":"173_CR48","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1093\/comjnl\/41.5.297","volume":"41","author":"M Steen van","year":"1998","unstructured":"van Steen M, Hauck FJ, Ballintijn G, Tanenbaum AS (1998) Algorithmic design of the globe wide-area location service. Comput J 41(5):297\u2013310","journal-title":"Comput J"},{"key":"173_CR49","volume-title":"Computer networks","author":"A Tanenbaum","year":"2002","unstructured":"Tanenbaum A (2002) Computer networks, 4th edn. Prentice Hall Professional Technical Reference, Upper Saddle River","edition":"4"},{"key":"173_CR50","doi-asserted-by":"crossref","unstructured":"Wang WJ, Varela CA (2006) Distributed garbage collection for mobile actor systems: the pseudo root approach. In: Chung YC, Moreira J (eds) Advances in grid and pervasive computing, Lecture Notes in Computer Science, vol 3947. Springer, Berlin, pp 360\u2013372","DOI":"10.1007\/11745693_36"},{"issue":"6","key":"173_CR51","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1109\/MIC.2010.147","volume":"14","author":"Y Wei","year":"2010","unstructured":"Wei Y, Blake M (2010) Service-oriented computing and cloud computing: challenges and opportunities. IEEE Internet Comput 14(6):72\u201375","journal-title":"IEEE Internet Comput"}],"container-title":["Service Oriented Computing and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11761-014-0173-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11761-014-0173-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11761-014-0173-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,5]],"date-time":"2024-06-05T19:12:11Z","timestamp":1717614731000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11761-014-0173-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,12,10]]},"references-count":51,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2015,9]]}},"alternative-id":["173"],"URL":"https:\/\/doi.org\/10.1007\/s11761-014-0173-7","relation":{},"ISSN":["1863-2386","1863-2394"],"issn-type":[{"value":"1863-2386","type":"print"},{"value":"1863-2394","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,12,10]]}}}