Newtonian arbiters cannot be proven correct
type: Item
instance of: scholarly article
title: Newtonian arbiters cannot be proven correct
zbMATH Open document ID: 0786.94024
DOI: 10.1007/BF01384075
author: Michael Mendler
author: Terry Stroup
published in: Formal Methods in System Design
publication date: 1994-02-17T00:00:00Z
Mathematics Subject Classification ID: 94C10
zbMATH DE Number: 502993
zbMATH Keywords: Newtonian arbiters
zbMATH Keywords: unprovability
zbMATH Keywords: abstract specification
zbMATH Keywords: synchronization problem
MaRDI profile type: Publication
cites work: The Effect of Asynchronous Inputs on Sequential Network Reliability
cites work: General theory of metastable operation
cites work: Hardware Specification with Temporal Logic: An Example
cites work: Asynchronous Sequential Switching Circuits with Unrestricted Input Changes
cites work: Q3737324
description: scientific article; zbMATH DE number 502993