{"id":"https://openalex.org/W173995284","doi":"https://doi.org/10.1007/bf01384075","title":"Newtonian arbiters cannot be proven correct","display_name":"Newtonian arbiters cannot be proven correct","publication_year":1993,"publication_date":"1993-12-01","ids":{"openalex":"https://openalex.org/W173995284","doi":"https://doi.org/10.1007/bf01384075","mag":"173995284"},"language":"en","primary_location":{"id":"doi:10.1007/bf01384075","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bf01384075","pdf_url":null,"source":{"id":"https://openalex.org/S3845260","display_name":"Formal Methods in System Design","issn_l":"0925-9856","issn":["0925-9856","1572-8102"],"is_oa":false,"is_in_doaj":false,"is_core":true,"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Methods in System Design","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.20378/irbo-52662","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5056710976","display_name":"Michael Mendler","orcid":"https://orcid.org/0000-0001-9562-0576"},"institutions":[{"id":"https://openalex.org/I96673099","display_name":"Technical University of Denmark","ror":"https://ror.org/04qtj9h94","country_code":"DK","type":"education","lineage":["https://openalex.org/I96673099"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Michael Mendler","raw_affiliation_strings":["Department of Computer Science, Technical University of Denmark, Building 344, DK 2800, Lyngby, Denmark","Dept. of Computer Science, Technical Univ. of Denmark, Lyngby, Denmark"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Technical University of Denmark, Building 344, DK 2800, Lyngby, Denmark","institution_ids":["https://openalex.org/I96673099"]},{"raw_affiliation_string":"Dept. of Computer Science, Technical Univ. of Denmark, Lyngby, Denmark","institution_ids":["https://openalex.org/I96673099"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5014378867","display_name":"Terry Stroup","orcid":null},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Terry Stroup","raw_affiliation_strings":["Laboratory for Foundations of Computer Science, University of Edinburgh, The King's Buildings, Mayfield Road, EH9 3JZ, Edinburgh, UK","Laboratory for Foundations of Computer Science, University of Edinburgh, Edinburgh, UK#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Laboratory for Foundations of Computer Science, University of Edinburgh, The King's Buildings, Mayfield Road, EH9 3JZ, Edinburgh, UK","institution_ids":["https://openalex.org/I98677209"]},{"raw_affiliation_string":"Laboratory for Foundations of Computer Science, University of Edinburgh, Edinburgh, UK#TAB#","institution_ids":["https://openalex.org/I98677209"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":3490,"currency":"USD","value_usd":3490},"apc_paid":{"value":3490,"currency":"USD","value_usd":3490},"fwci":1.3609,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.8252608,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"3","issue":"3","first_page":"233","last_page":"257"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9973000288009644,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9973000288009644,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10142","display_name":"Formal Methods in Verification","score":0.996999979019165,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9961000084877014,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/arbiter","display_name":"Arbiter","score":0.8862312436103821},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.7433819770812988},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.722283124923706},{"id":"https://openalex.org/keywords/realization","display_name":"Realization (probability)","score":0.5895695686340332},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.5824636816978455},{"id":"https://openalex.org/keywords/mutual-exclusion","display_name":"Mutual exclusion","score":0.5046321153640747},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.49971842765808105},{"id":"https://openalex.org/keywords/synchronization","display_name":"Synchronization (alternating current)","score":0.48731717467308044},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.4837093949317932},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.44280779361724854},{"id":"https://openalex.org/keywords/ideal","display_name":"Ideal (ethics)","score":0.4202099144458771},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.41431117057800293},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.41335922479629517},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3974262773990631},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.22711974382400513},{"id":"https://openalex.org/keywords/channel","display_name":"Channel (broadcasting)","score":0.15124976634979248},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.10359272360801697}],"concepts":[{"id":"https://openalex.org/C2779971761","wikidata":"https://www.wikidata.org/wiki/Q629872","display_name":"Arbiter","level":2,"score":0.8862312436103821},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.7433819770812988},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.722283124923706},{"id":"https://openalex.org/C2781089630","wikidata":"https://www.wikidata.org/wiki/Q21856745","display_name":"Realization (probability)","level":2,"score":0.5895695686340332},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.5824636816978455},{"id":"https://openalex.org/C56348326","wikidata":"https://www.wikidata.org/wiki/Q1047554","display_name":"Mutual exclusion","level":2,"score":0.5046321153640747},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.49971842765808105},{"id":"https://openalex.org/C2778562939","wikidata":"https://www.wikidata.org/wiki/Q1298791","display_name":"Synchronization (alternating current)","level":3,"score":0.48731717467308044},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.4837093949317932},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.44280779361724854},{"id":"https://openalex.org/C2776639384","wikidata":"https://www.wikidata.org/wiki/Q840396","display_name":"Ideal (ethics)","level":2,"score":0.4202099144458771},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.41431117057800293},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.41335922479629517},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3974262773990631},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.22711974382400513},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.15124976634979248},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.10359272360801697},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"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/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","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/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/bf01384075","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bf01384075","pdf_url":null,"source":{"id":"https://openalex.org/S3845260","display_name":"Formal Methods in System Design","issn_l":"0925-9856","issn":["0925-9856","1572-8102"],"is_oa":false,"is_in_doaj":false,"is_core":true,"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Methods in System Design","raw_type":"journal-article"},{"id":"doi:10.20378/irbo-52662","is_oa":true,"landing_page_url":"https://doi.org/10.20378/irbo-52662","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"},{"id":"mag:173995284","is_oa":false,"landing_page_url":"https://dblp.uni-trier.de/db/conf/ifip10-2/ifip10-2-1992a.html#MendlerS92","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"doi:10.20378/irbo-52662","is_oa":true,"landing_page_url":"https://doi.org/10.20378/irbo-52662","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"},"sustainable_development_goals":[{"score":0.800000011920929,"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W1543651123","https://openalex.org/W1609287256","https://openalex.org/W1657284839","https://openalex.org/W1792436286","https://openalex.org/W1824536795","https://openalex.org/W1849964303","https://openalex.org/W1966436625","https://openalex.org/W1967686058","https://openalex.org/W1975638748","https://openalex.org/W1998821731","https://openalex.org/W2012155933","https://openalex.org/W2037685920","https://openalex.org/W2052006175","https://openalex.org/W2057082489","https://openalex.org/W2058665672","https://openalex.org/W2103212706","https://openalex.org/W2118369287","https://openalex.org/W2122738723","https://openalex.org/W2158135012","https://openalex.org/W2164133583","https://openalex.org/W2295286551","https://openalex.org/W6633412869"],"related_works":["https://openalex.org/W1985711558","https://openalex.org/W2240079117","https://openalex.org/W105732303","https://openalex.org/W2950161409","https://openalex.org/W2227507359","https://openalex.org/W2953158616","https://openalex.org/W3085399729","https://openalex.org/W2396257566","https://openalex.org/W1974986814","https://openalex.org/W1499127572","https://openalex.org/W2784366645","https://openalex.org/W2224258380","https://openalex.org/W168936052","https://openalex.org/W2939414589","https://openalex.org/W2725817472","https://openalex.org/W2808155139","https://openalex.org/W2911494828","https://openalex.org/W1647411879","https://openalex.org/W1555742330","https://openalex.org/W1588786669"],"abstract_inverted_index":{"Computing":[0],"hardware":[1],"is":[2,69],"designed":[3],"by":[4,51,138,183],"refining":[5],"an":[6,141,170],"abstract":[7],"specification":[8],"through":[9],"various":[10],"lower":[11],"levels":[12],"of":[13,30,34,44,73,84,95,140],"abstraction":[14,45],"to":[15,61,102,179],"arrive":[16],"at":[17,41,54],"a":[18,23,131],"transistor":[19],"layout":[20],"implemented":[21],"in":[22,99,114,124],"physical":[24,153,159],"medium.":[25],"Formalizing":[26],"the":[27,31,38,52,55,90,110,115,119],"refinements\u2014one":[28],"task":[29],"mathematical":[32],"semantics":[33],"computation\u2014involves":[35],"proving":[36],"that":[37,64,70,97,109,118,130,165],"device":[39,121,160],"described":[40],"each":[42],"level":[43],"does":[46],"indeed":[47],"behave":[48],"as":[49],"prescribed":[50],"description":[53],"next":[56],"higher":[57],"level.":[58],"One":[59],"obstacle":[60],"this":[62],"goal":[63],"has":[65],"long":[66],"been":[67],"recognized":[68],"certain":[71],"classes":[72],"behaviors":[74],"can":[75],"be":[76,144],"physically":[77],"realized":[78],"only":[79],"approximately.":[80],"The":[81,106],"notorious":[82],"problems":[83],"metastable":[85],"operation":[86],"precludes,":[87],"for":[88,157],"example,":[89],"realization":[91],"on":[92,162],"classical":[93],"principles":[94,164],"flipflops":[96],"react":[98,122],"bounded":[100,125],"time":[101],"arbitrary":[103],"input":[104],"signals.":[105],"literature":[107],"suggests":[108],"difficulty":[111],"lies":[112],"ultimately":[113],"specification's":[116],"requiring":[117],"realizing":[120],"properly":[123],"time.":[126],"We":[127],"show,":[128],"however,":[129],"simple-time-unbounded":[132],"synchronization":[133],"problem,":[134],"namely,":[135],"mutual":[136],"exclusion":[137],"means":[139],"arbiter,":[142],"cannot":[143],"solved":[145],"with":[146],"perfect":[147],"reliability":[148],"using":[149],"continuous,":[150],"i.e.,":[151],"Newtonian,":[152],"phenomena.":[154],"In":[155],"particular,":[156],"any":[158],"operating":[161],"Newtonian":[163],"satisfies":[166],"specific":[167],"assumptions":[168],"concerning":[169],"arbiter's":[171],"input\u2014output":[172],"behavior,":[173],"there":[174],"always":[175],"exist":[176],"competing":[177],"requests":[178],"which":[180],"it":[181],"reacts":[182],"granting":[184],"them":[185],"all.":[186]},"counts_by_year":[],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2025-10-10T00:00:00"}