{"id":"https://openalex.org/W2012223141","doi":"https://doi.org/10.1145/1734206.1734209","title":"Nomadic pict","display_name":"Nomadic pict","publication_year":2010,"publication_date":"2010-04-01","ids":{"openalex":"https://openalex.org/W2012223141","doi":"https://doi.org/10.1145/1734206.1734209","mag":"2012223141"},"language":"en","primary_location":{"id":"doi:10.1145/1734206.1734209","is_oa":true,"landing_page_url":"https://doi.org/10.1145/1734206.1734209","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/1734206.1734209","source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Programming Languages and Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/1734206.1734209","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5083405043","display_name":"Peter Sewell","orcid":"https://orcid.org/0000-0001-9352-1013"},"institutions":[{"id":"https://openalex.org/I241749","display_name":"University of Cambridge","ror":"https://ror.org/013meh722","country_code":"GB","type":"education","lineage":["https://openalex.org/I241749"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Peter Sewell","raw_affiliation_strings":["University of Cambridge, Cambridge, UK"],"affiliations":[{"raw_affiliation_string":"University of Cambridge, Cambridge, UK","institution_ids":["https://openalex.org/I241749"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069864766","display_name":"Pawe\u0142 T. Wojciechowski","orcid":"https://orcid.org/0000-0003-2008-278X"},"institutions":[{"id":"https://openalex.org/I46597724","display_name":"Pozna\u0144 University of Technology","ror":"https://ror.org/00p7p3302","country_code":"PL","type":"education","lineage":["https://openalex.org/I46597724"]}],"countries":["PL"],"is_corresponding":false,"raw_author_name":"Pawe\u0142 T. Wojciechowski","raw_affiliation_strings":["Pozna\u0144 University of Technology, Pozna\u0144, Poland","Poznan University of Technology, Poznan, Poland"],"affiliations":[{"raw_affiliation_string":"Pozna\u0144 University of Technology, Pozna\u0144, Poland","institution_ids":["https://openalex.org/I46597724"]},{"raw_affiliation_string":"Poznan University of Technology, Poznan, Poland","institution_ids":["https://openalex.org/I46597724"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5047464348","display_name":"Asis Unyapoth","orcid":null},"institutions":[{"id":"https://openalex.org/I2801080794","display_name":"Government of Thailand","ror":"https://ror.org/05fp08r12","country_code":"TH","type":"government","lineage":["https://openalex.org/I2801080794"]}],"countries":["TH"],"is_corresponding":false,"raw_author_name":"Asis Unyapoth","raw_affiliation_strings":["Government Information Technology Services, Thailand"],"affiliations":[{"raw_affiliation_string":"Government Information Technology Services, Thailand","institution_ids":["https://openalex.org/I2801080794"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5083405043"],"corresponding_institution_ids":["https://openalex.org/I241749"],"apc_list":null,"apc_paid":null,"fwci":1.8627,"has_fulltext":true,"cited_by_count":22,"citation_normalized_percentile":{"value":0.8581271,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"32","issue":"4","first_page":"1","last_page":"63"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9979000091552734,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10742","display_name":"Peer-to-Peer Network Technologies","score":0.9951000213623047,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.9063900113105774},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7803635001182556},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5986664891242981},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5634399056434631},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.5419685244560242},{"id":"https://openalex.org/keywords/process-calculus","display_name":"Process calculus","score":0.5372163653373718},{"id":"https://openalex.org/keywords/overlay","display_name":"Overlay","score":0.5357298851013184},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5279005169868469},{"id":"https://openalex.org/keywords/overlay-network","display_name":"Overlay network","score":0.504146933555603},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4942071735858917},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.4725475013256073},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.4591270685195923},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.4172193109989166},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.377219557762146}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9063900113105774},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7803635001182556},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5986664891242981},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5634399056434631},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.5419685244560242},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.5372163653373718},{"id":"https://openalex.org/C136085584","wikidata":"https://www.wikidata.org/wiki/Q910289","display_name":"Overlay","level":2,"score":0.5357298851013184},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5279005169868469},{"id":"https://openalex.org/C169851745","wikidata":"https://www.wikidata.org/wiki/Q1331985","display_name":"Overlay network","level":3,"score":0.504146933555603},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4942071735858917},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.4725475013256073},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.4591270685195923},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.4172193109989166},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.377219557762146},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.0},{"id":"https://openalex.org/C110875604","wikidata":"https://www.wikidata.org/wiki/Q75","display_name":"The Internet","level":2,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1734206.1734209","is_oa":true,"landing_page_url":"https://doi.org/10.1145/1734206.1734209","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/1734206.1734209","source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Programming Languages and Systems","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/1734206.1734209","is_oa":true,"landing_page_url":"https://doi.org/10.1145/1734206.1734209","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/1734206.1734209","source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Programming Languages and Systems","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities","score":0.7200000286102295}],"awards":[{"id":"https://openalex.org/G1093520412","display_name":null,"funder_award_id":"Scholarship","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G1361938442","display_name":null,"funder_award_id":"Fellowship","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G6428170234","display_name":null,"funder_award_id":"EP/H005633","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G7257265979","display_name":null,"funder_award_id":"GR/L62290GR/N24872GR/T11715EP/C510712EP/F036345EP/H005633","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2012223141.pdf","grobid_xml":"https://content.openalex.org/works/W2012223141.grobid-xml"},"referenced_works_count":110,"referenced_works":["https://openalex.org/W5043811","https://openalex.org/W47024515","https://openalex.org/W59001363","https://openalex.org/W596943730","https://openalex.org/W618468384","https://openalex.org/W1493736413","https://openalex.org/W1499832866","https://openalex.org/W1503918819","https://openalex.org/W1503973138","https://openalex.org/W1507802114","https://openalex.org/W1509811702","https://openalex.org/W1511442367","https://openalex.org/W1516017225","https://openalex.org/W1518369453","https://openalex.org/W1521367064","https://openalex.org/W1523525039","https://openalex.org/W1529924754","https://openalex.org/W1531046337","https://openalex.org/W1533968881","https://openalex.org/W1537607923","https://openalex.org/W1542981786","https://openalex.org/W1546402579","https://openalex.org/W1546727036","https://openalex.org/W1548392907","https://openalex.org/W1548537923","https://openalex.org/W1549245411","https://openalex.org/W1577383226","https://openalex.org/W1580664042","https://openalex.org/W1591752798","https://openalex.org/W1596213815","https://openalex.org/W1638436127","https://openalex.org/W1665917888","https://openalex.org/W1679756568","https://openalex.org/W1732700501","https://openalex.org/W1756364833","https://openalex.org/W1779307959","https://openalex.org/W1813979319","https://openalex.org/W1821608153","https://openalex.org/W1829244603","https://openalex.org/W1859334764","https://openalex.org/W1861107327","https://openalex.org/W1894198336","https://openalex.org/W1924035922","https://openalex.org/W1927070824","https://openalex.org/W1938739028","https://openalex.org/W1965718940","https://openalex.org/W1968065704","https://openalex.org/W1971810486","https://openalex.org/W1985537108","https://openalex.org/W1995945562","https://openalex.org/W1996879666","https://openalex.org/W1997269120","https://openalex.org/W1999770529","https://openalex.org/W2006520458","https://openalex.org/W2013672985","https://openalex.org/W2018041465","https://openalex.org/W2019545801","https://openalex.org/W2021196439","https://openalex.org/W2035362408","https://openalex.org/W2035405585","https://openalex.org/W2037329704","https://openalex.org/W2037881889","https://openalex.org/W2038479570","https://openalex.org/W2040627684","https://openalex.org/W2048030593","https://openalex.org/W2050942832","https://openalex.org/W2054344570","https://openalex.org/W2061255339","https://openalex.org/W2073904762","https://openalex.org/W2083140588","https://openalex.org/W2085370982","https://openalex.org/W2088599499","https://openalex.org/W2089615179","https://openalex.org/W2092952058","https://openalex.org/W2095687239","https://openalex.org/W2103201802","https://openalex.org/W2109585055","https://openalex.org/W2119629818","https://openalex.org/W2121134342","https://openalex.org/W2124260419","https://openalex.org/W2124753887","https://openalex.org/W2127555143","https://openalex.org/W2128138604","https://openalex.org/W2128932399","https://openalex.org/W2129991479","https://openalex.org/W2131136241","https://openalex.org/W2133943294","https://openalex.org/W2136134319","https://openalex.org/W2148025199","https://openalex.org/W2154581630","https://openalex.org/W2154937878","https://openalex.org/W2157144873","https://openalex.org/W2163869523","https://openalex.org/W2164901581","https://openalex.org/W2166420892","https://openalex.org/W2168538078","https://openalex.org/W2170626879","https://openalex.org/W2170810021","https://openalex.org/W2176714706","https://openalex.org/W2182392231","https://openalex.org/W2222975320","https://openalex.org/W2246353045","https://openalex.org/W2476379118","https://openalex.org/W2561675875","https://openalex.org/W2913522518","https://openalex.org/W2914559425","https://openalex.org/W2977679477","https://openalex.org/W4212790255","https://openalex.org/W4245059559","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W89955905","https://openalex.org/W2126533264","https://openalex.org/W1637847238","https://openalex.org/W2042060105","https://openalex.org/W1691715735","https://openalex.org/W2041341978","https://openalex.org/W2122565901","https://openalex.org/W1990409638","https://openalex.org/W2134691083","https://openalex.org/W1988290982"],"abstract_inverted_index":{"Mobile":[0],"computation,":[1],"in":[2,49,199],"which":[3],"executing":[4],"computations":[5],"can":[6,96],"move":[7],"from":[8,19],"one":[9,168],"physical":[10],"computing":[11],"device":[12],"to":[13,23,26,42,139,148,155,214],"another,":[14],"is":[15],"a":[16,65,76,196,206],"recurring":[17],"theme:":[18],"OS":[20],"process":[21],"migration,":[22],"language-level":[24],"mobility,":[25],"virtual":[27],"machine":[28],"migration.":[29],"This":[30,172],"article":[31],"reports":[32],"on":[33,126,154,195],"the":[34,50,102,106,110,127,133,157,161,200,209],"design,":[35],"implementation,":[36],"and":[37,72,75,93,118,131,176,184],"verification":[38],"of":[39,58,84,101,113,160,167,208,211],"overlay":[40,88,115,170],"networks":[41,89],"support":[43],"reliable":[44],"communication":[45],"between":[46],"migrating":[47],"computations,":[48],"Nomadic":[51,67,134,162],"Pict":[52,135],"project.":[53],"We":[54,108,152],"define":[55,119],"two":[56],"levels":[57],"abstraction":[59],"as":[60,87,99,122,205],"calculi":[61],"with":[62,70],"precise":[63],"semantics:":[64],"low-level":[66],"\u03c0":[68,163],"calculus":[69,78,104],"migration":[71,181],"location-dependent":[73],"communication,":[74,86],"high-level":[77,103],"that":[79,90,179,189],"adds":[80],"location-independent":[81,85],"communication.":[82],"Implementations":[83],"track":[91],"migrations":[92],"forward":[94],"messages,":[95],"be":[97,149],"expressed":[98],"translations":[100],"into":[105,182],"low.":[107],"discuss":[109],"design":[111,130,218],"space":[112],"such":[114,123,141],"network":[116],"algorithms":[117,142],"three":[120],"precisely,":[121],"translations.":[124],"Based":[125],"calculi,":[128,164],"we":[129],"implement":[132],"distributed":[136],"programming":[137],"language,":[138],"let":[140],"(and":[143],"simple":[144],"applications":[145],"above":[146],"them)":[147],"quickly":[150],"prototyped.":[151],"go":[153],"develop":[156],"semantic":[158],"theory":[159],"proving":[165],"correctness":[166],"example":[169],"network.":[171],"requires":[173],"novel":[174],"equivalences":[175],"congruence":[177],"results":[178],"take":[180],"account,":[183],"reasoning":[185],"principles":[186],"for":[187],"agents":[188],"are":[190],"temporarily":[191],"immobile":[192],"(e.g.,":[193],"waiting":[194],"lock":[197],"elsewhere":[198],"system).":[201],"The":[202],"whole":[203],"stands":[204],"demonstration":[207],"use":[210],"principled":[212],"semantics":[213],"address":[215],"challenging":[216],"system":[217],"problems.":[219]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":4},{"year":2018,"cited_by_count":2},{"year":2016,"cited_by_count":2},{"year":2014,"cited_by_count":7},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":2}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2016-06-24T00:00:00"}