Work

On the existence of delay-insensitive fair arbiters: Trace theory and its limitations

Year: 1986

Type: article

Source: Distributed Computing

DOI: 10.1007/bf01660033

Author: David L. Black

Institution: Carnegie Mellon University

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2023984413

FWCI: 0.904

Cites: 14

Cited by: 25

Related to: 10