乐胖代购免代理版

{"id":"https://openalex.org/W4293812597","doi":"https://doi.org/10.1145/3547651","title":"On Feller continuity and full abstraction","display_name":"On Feller continuity and full abstraction","publication_year":2022,"publication_date":"2022-08-29","ids":{"openalex":"https://openalex.org/W4293812597","doi":"https://doi.org/10.1145/3547651"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1145/3547651","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3547651","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":true,"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},"type":"article","type_crossref":"journal-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3547651","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5075577852","display_name":"Gilles Barthe","orcid":"https://orcid.org/0000-0002-3853-1777"},"institutions":[{"id":"https://openalex.org/I4210096592","display_name":"Max Planck Institute for Security and Privacy","ror":"https://ror.org/00bj0r217","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210096592"]},{"id":"https://openalex.org/I4210162154","display_name":"IMDEA Software","ror":"https://ror.org/04xvfkh51","country_code":"ES","type":"facility","lineage":["https://openalex.org/I105140100","https://openalex.org/I4210162154"]}],"countries":["DE","ES"],"is_corresponding":false,"raw_author_name":"Gilles Barthe","raw_affiliation_strings":["Institute IMDEA Software [Madrid]","Max Planck Institute for Security and Privacy [Bochum]"],"affiliations":[{"raw_affiliation_string":"Max Planck Institute for Security and Privacy [Bochum]","institution_ids":["https://openalex.org/I4210096592"]},{"raw_affiliation_string":"Institute IMDEA Software [Madrid]","institution_ids":["https://openalex.org/I4210162154"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050255924","display_name":"Rapha\u00eblle Crubill\u00e9","orcid":null},"institutions":[{"id":"https://openalex.org/I4210114274","display_name":"Laboratoire d\u2019Informatique et Syst\u00e8mes","ror":"https://ror.org/0257sgk90","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I143002897","https://openalex.org/I21491767","https://openalex.org/I4210114274"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Rapha\u00eblle Crubill\u00e9","raw_affiliation_strings":["Foundations of Component-based Ubiquitous Systems","Laboratoire d'Informatique et Syst\u00e8mes"],"affiliations":[{"raw_affiliation_string":"Foundations of Component-based Ubiquitous Systems","institution_ids":[]},{"raw_affiliation_string":"Laboratoire d'Informatique et Syst\u00e8mes","institution_ids":["https://openalex.org/I4210114274"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084450516","display_name":"Ugo Dal Lago","orcid":"https://orcid.org/0000-0001-9200-070X"},"institutions":[{"id":"https://openalex.org/I9360294","display_name":"University of Bologna","ror":"https://ror.org/01111rn36","country_code":"IT","type":"funder","lineage":["https://openalex.org/I9360294"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Ugo Dal Lago","raw_affiliation_strings":["Foundations of Component-based Ubiquitous Systems","University of Bologna/Universit\u00e0 di Bologna"],"affiliations":[{"raw_affiliation_string":"University of Bologna/Universit\u00e0 di Bologna","institution_ids":["https://openalex.org/I9360294"]},{"raw_affiliation_string":"Foundations of Component-based Ubiquitous Systems","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5081771854","display_name":"Francesco Gavazzo","orcid":"https://orcid.org/0000-0002-2159-0615"},"institutions":[{"id":"https://openalex.org/I108290504","display_name":"University of Pisa","ror":"https://ror.org/03ad39j10","country_code":"IT","type":"funder","lineage":["https://openalex.org/I108290504"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Francesco Gavazzo","raw_affiliation_strings":["Foundations of Component-based Ubiquitous Systems","University of Pisa - Universit\u00e0 di Pisa"],"affiliations":[{"raw_affiliation_string":"Foundations of Component-based Ubiquitous Systems","institution_ids":[]},{"raw_affiliation_string":"University of Pisa - Universit\u00e0 di Pisa","institution_ids":["https://openalex.org/I108290504"]}]}],"institution_assertions":[],"countries_distinct_count":4,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.298,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.578436,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":70,"max":75},"biblio":{"volume":"6","issue":"ICFP","first_page":"826","last_page":"854"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9988,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9988,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9887,"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/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9851,"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/coinduction","display_name":"Coinduction","score":0.9012478},{"id":"https://openalex.org/keywords/bisimulation","display_name":"Bisimulation","score":0.5948046},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.5454491}],"concepts":[{"id":"https://openalex.org/C40220748","wikidata":"https://www.wikidata.org/wiki/Q4227156","display_name":"Coinduction","level":3,"score":0.9012478},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.727033},{"id":"https://openalex.org/C135315306","wikidata":"https://www.wikidata.org/wiki/Q866364","display_name":"Bisimulation","level":2,"score":0.5948046},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.5454491},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.44730705},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.43031335},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.39043906},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.37272125},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3497661},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3199104},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.09820607},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.067557365},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0}],"mesh":[],"locations_count":7,"locations":[{"is_oa":true,"landing_page_url":"https://doi.org/10.1145/3547651","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3547651","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":true,"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},{"is_oa":false,"landing_page_url":"https://inria.hal.science/hal-03923488","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://hal.inria.fr/hal-03923488","pdf_url":"https://inria.hal.science/hal-03923488/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":["Centre National de la Recherche Scientifique"],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true},{"is_oa":true,"landing_page_url":"https://hdl.handle.net/11585/904232","pdf_url":"https://cris.unibo.it/bitstream/11585/904232/1/icfp2022a.pdf","source":{"id":"https://openalex.org/S4306402579","display_name":"Archivio istituzionale della ricerca (Alma Mater Studiorum Universit\u00e0 di Bologna)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":"https://openalex.org/I4210117483","host_organization_name":"Istituto di Ematologia di Bologna","host_organization_lineage":["https://openalex.org/I4210117483"],"host_organization_lineage_names":["Istituto di Ematologia di Bologna"],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true},{"is_oa":true,"landing_page_url":"https://hal.inria.fr/hal-03923488/file/icfp2022a.pdf","pdf_url":"https://hal.inria.fr/hal-03923488/file/icfp2022a.pdf","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":["Centre National de la Recherche Scientifique"],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true},{"is_oa":true,"landing_page_url":"https://inria.hal.science/hal-03923488/file/icfp2022a.pdf","pdf_url":"https://inria.hal.science/hal-03923488/file/icfp2022a.pdf","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":["Centre National de la Recherche Scientifique"],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true},{"is_oa":true,"landing_page_url":"https://hal.inria.fr/hal-03923488/document","pdf_url":"https://hal.inria.fr/hal-03923488/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":["Centre National de la Recherche Scientifique"],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1145/3547651","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3547651","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":true,"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},"sustainable_development_goals":[],"grants":[{"funder":"https://openalex.org/F4320334678","funder_display_name":"European Research Council","award_id":"818616"}],"datasets":[],"versions":[],"referenced_works_count":48,"referenced_works":["https://openalex.org/W102024464","https://openalex.org/W136487247","https://openalex.org/W1513445195","https://openalex.org/W1531625469","https://openalex.org/W1532374486","https://openalex.org/W1537995368","https://openalex.org/W1539382740","https://openalex.org/W1540519426","https://openalex.org/W1565864939","https://openalex.org/W1712407203","https://openalex.org/W1763199018","https://openalex.org/W1865728679","https://openalex.org/W1969553191","https://openalex.org/W1971906578","https://openalex.org/W1976228570","https://openalex.org/W1976268573","https://openalex.org/W2015172530","https://openalex.org/W2035063966","https://openalex.org/W2038116769","https://openalex.org/W2052956617","https://openalex.org/W2056099894","https://openalex.org/W2061760083","https://openalex.org/W2078103992","https://openalex.org/W2100893927","https://openalex.org/W2152595206","https://openalex.org/W2159513875","https://openalex.org/W2165407648","https://openalex.org/W2206718322","https://openalex.org/W2294711452","https://openalex.org/W2295986928","https://openalex.org/W2595803793","https://openalex.org/W2597297629","https://openalex.org/W2612826837","https://openalex.org/W2900404128","https://openalex.org/W2912723978","https://openalex.org/W2944100452","https://openalex.org/W2995436578","https://openalex.org/W2999141155","https://openalex.org/W3008864336","https://openalex.org/W3117645958","https://openalex.org/W3124655276","https://openalex.org/W3125832933","https://openalex.org/W342302233","https://openalex.org/W385466589","https://openalex.org/W4229597915","https://openalex.org/W4232632148","https://openalex.org/W4233323875","https://openalex.org/W4236251393"],"related_works":["https://openalex.org/W3131854788","https://openalex.org/W3101797533","https://openalex.org/W2603068949","https://openalex.org/W2518082944","https://openalex.org/W2463782052","https://openalex.org/W1827680569","https://openalex.org/W1820233200","https://openalex.org/W1562440999","https://openalex.org/W1541732450","https://openalex.org/W1488076266"],"abstract_inverted_index":{"We":[0],"study":[1],"the":[2,19,83,95,112],"nature":[3],"of":[4,55,64,72,111,115],"applicative":[5],"bisimilarity":[6],"in":[7],"\u03bb-calculi":[8],"endowed":[9],"with":[10,33],"operators":[11],"for":[12,57,74],"sampling":[13],"from":[14],"contin-":[15],"uous":[16],"distributions.":[17],"On":[18,82],"one":[20],"hand,":[21,85],"we":[22,62,86],"show":[23,87],"that":[24,88],"bisimilarity,":[25],"logical":[26],"equivalence,":[27],"and":[28,77,109],"testing":[29],"equivalence":[30,35,103,116],"all":[31],"coincide":[32],"contextual":[34,102],"when":[36],"real":[37,97],"numbers":[38,98],"can":[39],"be":[40,107],"manipulated":[41],"through":[42],"continuous":[43],"functions":[44],"only.":[45],"The":[46],"key":[47],"ingredient":[48],"towards":[49],"this":[50],"result":[51],"is":[52,92],"a":[53,69],"notion":[54],"Feller-continuity":[56],"labelled":[58],"Markov":[59],"processes,":[60],"which":[61,75],"believe":[63],"independent":[65],"interest,":[66],"giving":[67],"rise":[68],"broad":[70],"class":[71],"LMPs":[73],"coinductive":[76],"logically":[78],"inspired":[79],"equivalences":[80],"coincide.":[81],"other":[84],"if":[89],"no":[90],"constraint":[91],"put":[93],"on":[94],"way":[96],"are":[99,117],"manipulated,":[100],"characterizing":[101],"turns":[104],"out":[105],"to":[106],"hard,":[108],"most":[110],"aforementioned":[113],"notions":[114],"even":[118],"unsound.":[119]},"abstract_inverted_index_v3":null,"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W4293812597","counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1}],"updated_date":"2025-02-20T08:29:22.894621","created_date":"2022-08-31"}