Back to Search
Start Over
Formal Asynchronous Systems Modelling.
- Source :
- Fundamenta Informaticae; Jul2000, Vol. 42 Issue 3-4, p335, 55p
- Publication Year :
- 2000
-
Abstract
- Describes a formal model for asynchronous systems behavior. Properties of asynchronous systems; Classes of asynchronous circuits; Approaches to formal asynchronous systems modeling; Asynchronous computations.
- Subjects :
- ASYNCHRONOUS circuits
FORMAL methods (Computer science)
Subjects
Details
- Language :
- English
- ISSN :
- 01692968
- Volume :
- 42
- Issue :
- 3-4
- Database :
- Complementary Index
- Journal :
- Fundamenta Informaticae
- Publication Type :
- Academic Journal
- Accession number :
- 5936634
- Full Text :
- https://doi.org/10.3233/fi-2000-423406