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

DOI10.1007/BF01660033zbMath0643.94041MaRDI QIDQ1102260

David L. Black

Publication date: 1986

Published in: Distributed Computing (Search for Journal in Brave)

zbMATH Keywords

fairnesstrace theoryformal specification of delay-insensitive fair arbiters

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Theory of software (68N99)

Related Items

A new explanation of the glitch phenomenon, Reconciling fault-tolerant distributed computing and systems-on-chip, The doomsday distributed termination detection protocol, Delay-insensitivity and ternary simulation, Automata of asynchronous behaviors

Cites Work

• A calculus of communicating systems
• Trace theory and VLSI design