{"id":"https://openalex.org/W2046057270","doi":"https://doi.org/10.1016/s1571-0661(05)80474-8","title":"What is a 'Good' Encoding of Guarded Choice?","display_name":"What is a 'Good' Encoding of Guarded Choice?","publication_year":1997,"publication_date":"1997-01-01","ids":{"openalex":"https://openalex.org/W2046057270","doi":"https://doi.org/10.1016/s1571-0661(05)80474-8","mag":"2046057270"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(05)80474-8","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80474-8","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1016/s1571-0661(05)80474-8","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5018685791","display_name":"Uwe Nestmann","orcid":"https://orcid.org/0000-0002-8520-5448"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en informatique et en automatique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Uwe Nestmann","raw_affiliation_strings":["INRIA Rocquencourt, 78153 Le Chesnay Cedex, France","Inria, Rocquencourt, 78153 Le Chesnay Cedex, France"],"affiliations":[{"raw_affiliation_string":"INRIA Rocquencourt, 78153 Le Chesnay Cedex, France","institution_ids":["https://openalex.org/I1326498283"]},{"raw_affiliation_string":"Inria, Rocquencourt, 78153 Le Chesnay Cedex, France","institution_ids":["https://openalex.org/I1326498283"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5018685791"],"corresponding_institution_ids":["https://openalex.org/I1326498283"],"apc_list":null,"apc_paid":null,"fwci":5.8503,"has_fulltext":false,"cited_by_count":16,"citation_normalized_percentile":{"value":0.96027582,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"7","issue":null,"first_page":"206","last_page":"226"},"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.9998999834060669,"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.9998999834060669,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9983999729156494,"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.9975000023841858,"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/principle-of-compositionality","display_name":"Principle of compositionality","score":0.8106913566589355},{"id":"https://openalex.org/keywords/encoding","display_name":"Encoding (memory)","score":0.7318101525306702},{"id":"https://openalex.org/keywords/corollary","display_name":"Corollary","score":0.7251191139221191},{"id":"https://openalex.org/keywords/divergence","display_name":"Divergence (linguistics)","score":0.6982148885726929},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6605287194252014},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.38171055912971497},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.29960644245147705},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.1813564896583557},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1243276596069336}],"concepts":[{"id":"https://openalex.org/C121375916","wikidata":"https://www.wikidata.org/wiki/Q936559","display_name":"Principle of compositionality","level":2,"score":0.8106913566589355},{"id":"https://openalex.org/C125411270","wikidata":"https://www.wikidata.org/wiki/Q18653","display_name":"Encoding (memory)","level":2,"score":0.7318101525306702},{"id":"https://openalex.org/C2780012671","wikidata":"https://www.wikidata.org/wiki/Q1343870","display_name":"Corollary","level":2,"score":0.7251191139221191},{"id":"https://openalex.org/C207390915","wikidata":"https://www.wikidata.org/wiki/Q1230525","display_name":"Divergence (linguistics)","level":2,"score":0.6982148885726929},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6605287194252014},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.38171055912971497},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.29960644245147705},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.1813564896583557},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1243276596069336},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","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.1016/s1571-0661(05)80474-8","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80474-8","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1016/s1571-0661(05)80474-8","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80474-8","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.7599999904632568,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W1523525039","https://openalex.org/W1542981786","https://openalex.org/W1547651002","https://openalex.org/W1557853716","https://openalex.org/W1571962375","https://openalex.org/W1679756568","https://openalex.org/W1780867404","https://openalex.org/W1790031272","https://openalex.org/W1828556947","https://openalex.org/W1980529102","https://openalex.org/W2010649834","https://openalex.org/W2015414411","https://openalex.org/W2015888335","https://openalex.org/W2050942832","https://openalex.org/W2055454967","https://openalex.org/W2059563369","https://openalex.org/W2070908350","https://openalex.org/W2073482953","https://openalex.org/W2085656217","https://openalex.org/W2094139270","https://openalex.org/W2103201802","https://openalex.org/W2107438584","https://openalex.org/W2109585055","https://openalex.org/W2128932399","https://openalex.org/W2131848219","https://openalex.org/W2153290650","https://openalex.org/W2914597273","https://openalex.org/W4232027917","https://openalex.org/W4254587780","https://openalex.org/W4285719527","https://openalex.org/W6604631632","https://openalex.org/W6619215900","https://openalex.org/W6632765661","https://openalex.org/W6654242558"],"related_works":["https://openalex.org/W2354500408","https://openalex.org/W2389073067","https://openalex.org/W2248088940","https://openalex.org/W4212908877","https://openalex.org/W2029133311","https://openalex.org/W2046057270","https://openalex.org/W2324583849","https://openalex.org/W2119541381","https://openalex.org/W2007252621","https://openalex.org/W1971949385"],"abstract_inverted_index":{"The":[0,90],"\u03c0-calculus":[1,14],"with":[2,15,67,84],"synchronous":[3],"output":[4,17],"and":[5,18,43,74,77,81,88,92,130],"mixed-guarded":[6,79],"choices":[7],"is":[8,29,132],"strictly":[9],"more":[10,136],"expressive":[11],"than":[12],"the":[13,35,38,103,113,125],"asynchronous":[16],"no":[19,30],"choice.":[20],"As":[21],"a":[22,61],"corollary,":[23],"Palamidessi":[24],"recently":[25],"proved":[26],"that":[27,40,48,124],"there":[28,49],"fully":[31],"compositional":[32],"encoding":[33,94],"from":[34],"former":[36],"into":[37],"latter":[39],"preserves":[41],"divergence-freedom":[42,131],"symmetries.":[44],"This":[45],"paper":[46],"shows":[47],"are":[50],"nevertheless":[51],"'good'":[52,100],"encodings":[53,64],"between":[54],"these":[55],"calculi.":[56],"In":[57],"detail,":[58],"we":[59],"present":[60],"series":[62],"of":[63,127],"for":[65,102,135],"languages":[66],"(1)":[68],"input-guarded":[69],"choice,":[70,76,80],"(2)":[71],"both":[72],"input-":[73],"output-guarded":[75],"(3)":[78],"investigate":[82],"them":[83],"respect":[85],"to":[86],"compositionality":[87,129],"divergence-freedom.":[89],"first":[91],"second":[93],"satisfy":[95],"all":[96],"criteria,":[97],"but":[98],"various":[99],"candidates":[101],"third":[104],"encoding\u2014inspired":[105],"by":[106],"an":[107],"existing":[108],"distributed":[109],"implementation\u2014invalidate":[110],"one":[111],"or":[112],"other":[114],"criterion.":[115],"While":[116],"essentially":[117],"confirming":[118],"Palamidessi's":[119],"result,":[120],"our":[121],"study":[122],"suggests":[123],"combination":[126],"strong":[128,134],"too":[133],"practical":[137],"purposes.":[138]},"counts_by_year":[{"year":2015,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}