乐胖代购免代理版

{"id":"https://openalex.org/W3127629533","doi":"https://doi.org/10.4230/lipics.csl.2021.7","title":"The Best a Monitor Can Do","display_name":"The Best a Monitor Can Do","publication_year":2021,"publication_date":"2021-01-01","ids":{"openalex":"https://openalex.org/W3127629533","doi":"https://doi.org/10.4230/lipics.csl.2021.7","mag":"3127629533"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.4230/LIPIcs.CSL.2021.7","pdf_url":null,"source":{"id":"https://openalex.org/S4306417978","display_name":"Computer Science Logic","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-article","indexed_in":[],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5041913577","display_name":"Luca Aceto","orcid":"https://orcid.org/0000-0002-2197-3018"},"institutions":[{"id":"https://openalex.org/I123185442","display_name":"Reykjav\u00edk University","ror":"https://ror.org/05d2kyx68","country_code":"IS","type":"education","lineage":["https://openalex.org/I123185442"]}],"countries":["IS"],"is_corresponding":false,"raw_author_name":"Luca Aceto","raw_affiliation_strings":["Reykjav\u00edk University, Reykjavik, Iceland"],"affiliations":[{"raw_affiliation_string":"Reykjav\u00edk University, Reykjavik, Iceland","institution_ids":["https://openalex.org/I123185442"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066986721","display_name":"Antonis Achilleos","orcid":"https://orcid.org/0000-0002-1314-333X"},"institutions":[{"id":"https://openalex.org/I123185442","display_name":"Reykjav\u00edk University","ror":"https://ror.org/05d2kyx68","country_code":"IS","type":"education","lineage":["https://openalex.org/I123185442"]}],"countries":["IS"],"is_corresponding":false,"raw_author_name":"Antonis Achilleos","raw_affiliation_strings":["Reykjav\u00edk University, Reykjavik, Iceland"],"affiliations":[{"raw_affiliation_string":"Reykjav\u00edk University, Reykjavik, Iceland","institution_ids":["https://openalex.org/I123185442"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077349456","display_name":"Adrian Francalanza","orcid":"https://orcid.org/0000-0003-3829-7391"},"institutions":[{"id":"https://openalex.org/I197854408","display_name":"University of Malta","ror":"https://ror.org/03a62bv60","country_code":"MT","type":"education","lineage":["https://openalex.org/I197854408"]}],"countries":["MT"],"is_corresponding":false,"raw_author_name":"Adrian Francalanza","raw_affiliation_strings":["University of Malta, Imsida, Malta"],"affiliations":[{"raw_affiliation_string":"University of Malta, Imsida, Malta","institution_ids":["https://openalex.org/I197854408"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016540152","display_name":"Anna Ing\u00f3lfsd\u00f3ttir","orcid":"https://orcid.org/0000-0001-8362-3075"},"institutions":[{"id":"https://openalex.org/I123185442","display_name":"Reykjav\u00edk University","ror":"https://ror.org/05d2kyx68","country_code":"IS","type":"education","lineage":["https://openalex.org/I123185442"]}],"countries":["IS"],"is_corresponding":false,"raw_author_name":"Anna Ing\u00f3lfsd\u00f3ttir","raw_affiliation_strings":["Reykjav\u00edk University, Reykjavik, Iceland"],"affiliations":[{"raw_affiliation_string":"Reykjav\u00edk University, Reykjavik, Iceland","institution_ids":["https://openalex.org/I123185442"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5039866284","display_name":"Karoliina Lehtinen","orcid":"https://orcid.org/0000-0003-1171-8790"},"institutions":[{"id":"https://openalex.org/I146655781","display_name":"University of Liverpool","ror":"https://ror.org/04xs57h96","country_code":"GB","type":"education","lineage":["https://openalex.org/I146655781"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Karoliina Lehtinen","raw_affiliation_strings":["University of Liverpool, Liverpool, United Kingdom"],"affiliations":[{"raw_affiliation_string":"University of Liverpool, Liverpool, United Kingdom","institution_ids":["https://openalex.org/I146655781"]}]}],"institution_assertions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.549,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.926964,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":88,"max":89},"biblio":{"volume":null,"issue":null,"first_page":"23","last_page":null},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9998,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.999,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9881,"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/branching","display_name":"Branching (polymer chemistry)","score":0.57183945}],"concepts":[{"id":"https://openalex.org/C168773036","wikidata":"https://www.wikidata.org/wiki/Q264164","display_name":"Recursion (computer science)","level":2,"score":0.7538374},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.655712},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.5958743},{"id":"https://openalex.org/C206175624","wikidata":"https://www.wikidata.org/wiki/Q595731","display_name":"Branching (polymer chemistry)","level":2,"score":0.57183945},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.43462837},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.40168095},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.34828007},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"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/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.4230/LIPIcs.CSL.2021.7","pdf_url":null,"source":{"id":"https://openalex.org/S4306417978","display_name":"Computer Science Logic","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, justice, and strong institutions","score":0.71,"id":"https://metadata.un.org/sdg/16"}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W51406999","https://openalex.org/W3210578702","https://openalex.org/W3204551292","https://openalex.org/W3175535865","https://openalex.org/W3014360398","https://openalex.org/W3005657446","https://openalex.org/W2945603833","https://openalex.org/W2898616308","https://openalex.org/W2811479188","https://openalex.org/W2783205355","https://openalex.org/W2780733723","https://openalex.org/W2617161903","https://openalex.org/W2477338659","https://openalex.org/W2089073052","https://openalex.org/W1975880855","https://openalex.org/W1973223152","https://openalex.org/W1910715013","https://openalex.org/W1866799138","https://openalex.org/W177980195","https://openalex.org/W1543156467"],"abstract_inverted_index":{"Existing":[0],"notions":[1],"of":[2,41,52,56,88],"monitorability":[3,58],"for":[4,65,76],"branching-time":[5,30,67],"properties":[6,68],"are":[7],"fairly":[8],"restrictive.":[9],"This,":[10],"in":[11,91,99],"turn,":[12],"impacts":[13],"the":[14,21,34,46,84],"ability":[15],"to":[16,28,106,114],"incorporate":[17],"prior":[18,112],"knowledge":[19,113],"about":[20],"system":[22],"under":[23],"scrutiny":[24],"-":[25,32],"which":[26],"corresponds":[27],"a":[29,39,53,71,104],"property":[31],"into":[33,118],"runtime":[35,119],"analysis.":[36],"We":[37,81],"propose":[38],"definition":[40],"optimal":[42],"monitors":[43,61],"that":[44,83],"verify":[45],"best":[47],"monitorable":[48,79,86],"under-":[49],"or":[50],"over-approximation":[51],"specification,":[54],"regardless":[55],"its":[57],"status.":[59],"Optimal":[60],"can":[62],"be":[63,115],"obtained":[64],"arbitrary":[66],"by":[69],"synthesising":[70],"sound":[72],"and":[73,102],"complete":[74],"monitor":[75],"their":[77],"strongest":[78,85],"consequence.":[80],"show":[82],"consequence":[87],"specifications":[89],"expressed":[90],"Hennessy-Milner":[92],"logic":[93],"with":[94],"recursion":[95],"is":[96],"itself":[97],"expressible":[98],"this":[100],"logic,":[101],"present":[103],"procedure":[105,110],"find":[107],"it.":[108],"Our":[109],"enables":[111],"optimally":[116],"incorporated":[117],"monitors.":[120]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W3127629533","counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":5}],"updated_date":"2025-01-17T20:10:27.040119","created_date":"2021-02-15"}