Original language | English |
---|---|
Pages (from-to) | 395-408 |
Number of pages | 14 |
Journal | Formal Aspects of Computing |
Volume | 9 |
Issue number | 4 |
DOIs | |
Publication status | Published (VoR) - 1997 |
Keywords
- Asynchronous circuits
- Formal methods
- Four-phase handshake
- Process algebra
- Speed-independent