{"id":"https://openalex.org/W1570057207","doi":"https://doi.org/10.1007/1-4020-8141-3_45","title":"Polya:True Type Polymorphism for Mobile Ambients","display_name":"Polya:True Type Polymorphism for Mobile Ambients","publication_year":2006,"publication_date":"2006-02-21","ids":{"openalex":"https://openalex.org/W1570057207","doi":"https://doi.org/10.1007/1-4020-8141-3_45","mag":"1570057207"},"language":"en","primary_location":{"id":"doi:10.1007/1-4020-8141-3_45","is_oa":true,"landing_page_url":"https://doi.org/10.1007/1-4020-8141-3_45","pdf_url":"https://link.springer.com/content/pdf/10.1007/1-4020-8141-3_45.pdf","source":{"id":"https://openalex.org/S4306463519","display_name":"Kluwer Academic Publishers eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"ebook platform"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IFIP International Federation for Information Processing","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://link.springer.com/content/pdf/10.1007/1-4020-8141-3_45.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5112777683","display_name":"Torben Amtoft","orcid":null},"institutions":[{"id":"https://openalex.org/I189590672","display_name":"Kansas State University","ror":"https://ror.org/05p1j8758","country_code":"US","type":"education","lineage":["https://openalex.org/I189590672"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Torben Amtoft","raw_affiliation_strings":["Kansas State University, USA"],"affiliations":[{"raw_affiliation_string":"Kansas State University, USA","institution_ids":["https://openalex.org/I189590672"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002306619","display_name":"Henning Makholm","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Henning Makholm","raw_affiliation_strings":["Heriot-Watt University, USA"],"affiliations":[{"raw_affiliation_string":"Heriot-Watt University, USA","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5113483345","display_name":"J. B. Wells","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"J. B. Wells","raw_affiliation_strings":["Heriot-Watt University, USA"],"affiliations":[{"raw_affiliation_string":"Heriot-Watt University, USA","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5112777683"],"corresponding_institution_ids":["https://openalex.org/I189590672"],"apc_list":null,"apc_paid":null,"fwci":2.0575,"has_fulltext":true,"cited_by_count":13,"citation_normalized_percentile":{"value":0.8736911,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"591","last_page":"604"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9993000030517578,"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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9993000030517578,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9966999888420105,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9966999888420105,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/type","display_name":"Type (biology)","score":0.7211893796920776},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6341367363929749},{"id":"https://openalex.org/keywords/process-calculus","display_name":"Process calculus","score":0.43124523758888245},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.41123509407043457},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.37181466817855835},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.350309818983078},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.17594143748283386},{"id":"https://openalex.org/keywords/biology","display_name":"Biology","score":0.1041630208492279}],"concepts":[{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.7211893796920776},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6341367363929749},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.43124523758888245},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.41123509407043457},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.37181466817855835},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.350309818983078},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.17594143748283386},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.1041630208492279},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/1-4020-8141-3_45","is_oa":true,"landing_page_url":"https://doi.org/10.1007/1-4020-8141-3_45","pdf_url":"https://link.springer.com/content/pdf/10.1007/1-4020-8141-3_45.pdf","source":{"id":"https://openalex.org/S4306463519","display_name":"Kluwer Academic Publishers eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"ebook platform"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IFIP International Federation for Information Processing","raw_type":"book-chapter"}],"best_oa_location":{"id":"doi:10.1007/1-4020-8141-3_45","is_oa":true,"landing_page_url":"https://doi.org/10.1007/1-4020-8141-3_45","pdf_url":"https://link.springer.com/content/pdf/10.1007/1-4020-8141-3_45.pdf","source":{"id":"https://openalex.org/S4306463519","display_name":"Kluwer Academic Publishers eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"ebook platform"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IFIP International Federation for Information Processing","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320311518","display_name":"Heriot-Watt University","ror":"https://ror.org/04mghma93"},{"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/W1570057207.pdf","grobid_xml":"https://content.openalex.org/works/W1570057207.grobid-xml"},"referenced_works_count":30,"referenced_works":["https://openalex.org/W1492943981","https://openalex.org/W1498792107","https://openalex.org/W1503918819","https://openalex.org/W1507802114","https://openalex.org/W1510917942","https://openalex.org/W1536456993","https://openalex.org/W1590016228","https://openalex.org/W1603722452","https://openalex.org/W1603799276","https://openalex.org/W1633946210","https://openalex.org/W1848345729","https://openalex.org/W1900721122","https://openalex.org/W1968065704","https://openalex.org/W1983668682","https://openalex.org/W2011491369","https://openalex.org/W2027657506","https://openalex.org/W2048984644","https://openalex.org/W2058933837","https://openalex.org/W2066150275","https://openalex.org/W2085670481","https://openalex.org/W2106570741","https://openalex.org/W2159748649","https://openalex.org/W2161628464","https://openalex.org/W2164792857","https://openalex.org/W2504690097","https://openalex.org/W2911711976","https://openalex.org/W2912003593","https://openalex.org/W4243186596","https://openalex.org/W4285719527","https://openalex.org/W6633919716"],"related_works":["https://openalex.org/W2341613074","https://openalex.org/W2365200093","https://openalex.org/W4205700219","https://openalex.org/W805617865","https://openalex.org/W1547524815","https://openalex.org/W2786418612","https://openalex.org/W2043460186","https://openalex.org/W2124232232","https://openalex.org/W1606441988","https://openalex.org/W1529656707"],"abstract_inverted_index":{"Previous":[0,30],"type":[1,67,84,98,112,157,167,175,182],"systems":[2,31,183],"for":[3,26,169,184],"mobility":[4,171],"calculi":[5],"(the":[6],"original":[7],"Mobile":[8],"Ambients,":[9,19],"its":[10],"variants":[11],"and":[12,17,20,85,145],"descendants,":[13],"e.g.,":[14],"Boxed":[15],"Ambients":[16],"Safe":[18],"other":[21,60],"related":[22],"systems)offer":[23],"little":[24],"support":[25],"generic":[27,158],"mobile":[28,159],"agents.":[29],"either":[32],"do":[33,49],"not":[34,50],"handle":[35],"communication":[36,43,76,104],"at":[37,142,152],"all":[38],"or":[39,57],"globally":[40],"assign":[41],"fixed":[42],"types":[44,105],"to":[45,66,78,88,106,113,131,180,191],"ambient":[46,54,73,107,124,192],"names":[47],"that":[48,74,117,138,148,173],"change":[51],"as":[52,70],"an":[53],"moves":[55],"around":[56],"interacts":[58],"with":[59],"ambients.":[61],"This":[62],"makes":[63],"it":[64,87],"hard":[65],"examples":[68],"such":[69],"a":[71,80,89,111,170],"messenger":[72],"uses":[75],"primitives":[77],"collect":[79],"message":[81],"of":[82,102,127,196],"non-predetermined":[83,90],"deliver":[86],"destination.":[91],"In":[92],"contrast,":[93],"we":[94,161],"present":[95],"our":[96],"new":[97],"system":[99,168],"PolyA.":[100],"Instead":[101],"assigning":[103],"names,":[108],"PolyA":[109,155,163,187,197],"assigns":[110],"each":[114,143,153],"process":[115,129],"P":[116,133],"gives":[118],"upper":[119],"bounds":[120],"on":[121],"(1)the":[122],"possible":[123],"nesting":[125],"shapes":[126],"any":[128],"P\u2019":[130],"which":[132],"can":[134,149,156],"evolve,":[135],"(2)the":[136],"values":[137],"may":[139],"be":[140,150],"communicated":[141],"location,":[144],"(3)the":[146],"capabilities":[147],"used":[151],"location.Because":[154],"agents,":[160],"believe":[162],"is":[164,188],"the":[165,185],"first":[166],"calculus":[172,193],"provides":[174],"polymorphism":[176],"comparable":[177],"in":[178],"power":[179],"polymorphic":[181],"\u03bb-calculas":[186],"easily":[189],"extended":[190],"variants.A":[194],"restriction":[195],"has":[198],"principal":[199],"typings.":[200]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}