Specification and automatic verification of self-timed queues
- 1 July 1992
- journal article
- Published by Springer Nature in Formal Methods in System Design
- Vol. 1 (1) , 29-60
- https://doi.org/10.1007/bf00464356
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Automata for modeling real-time systemsPublished by Springer Nature ,2005
- Symbolic model checking: 1020 States and beyondPublished by Elsevier ,2004
- Model-checking for real-time systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A logic of concrete time intervalsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Algorithms for synthesis of hazard-free asynchronous circuitsPublished by Association for Computing Machinery (ACM) ,1991
- Analysis of discrete event coordinationPublished by Springer Nature ,1990
- MicropipelinesCommunications of the ACM, 1989
- Automatic synthesis of asynchronous circuits from high-level specificationsIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1989
- Basic notions of trace theoryPublished by Springer Nature ,1989
- Trace Theory and the Definition of Hierarchical ComponentsPublished by Springer Nature ,1983