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

This publication has 7 references indexed in Scilit:

• Trace Theory and VLSJ Design
  Lecture Notes in Computer Science, 1985
• Trace Theory and the Definition of Hierarchical Components
  Published by Springer Nature ,1983
• Hardware Specification with Temporal Logic: An Example
  IEEE Transactions on Computers, 1982
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980
• On the temporal analysis of fairness
  Published by Association for Computing Machinery (ACM) ,1980
• Anomalous Behavior of Synchronizer and Arbiter Circuits
  IEEE Transactions on Computers, 1973
• The general synthesis problem for asynchronous digital networks
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1967