-
1
Delay-insensitivity and ternary simulation
Veröffentlicht in Theoretical computer science
VolltextArtikel -
2
-
3
True concurrency in models of asynchronous circuit behavior
Veröffentlicht in Formal methods in system design
VolltextArtikel -
4
-
5
-
6
-
7
-
8
On the delay-sensitivity of gate networks
Veröffentlicht in IEEE transactions on computers
VolltextArtikel -
9
A unified framework for race analysis of asynchronous networks
Veröffentlicht in Journal of the ACM
VolltextArtikel -
10
Generalized ternary simulation of sequential circuits
Veröffentlicht in RAIRO. Informatique théorique et applications
VolltextArtikel -
11
On serializability
Veröffentlicht in International Journal of Computer & Information Sciences
VolltextArtikel -
12
-
13
An optimistic ternary simulation of gate races
Veröffentlicht in Theoretical computer science
VolltextArtikel -
14
Switch-level testability of the dynamic CMOS PLA
Veröffentlicht in Integration (Amsterdam)
VolltextArtikel -
15
-
16
-
17
-
18
Consistency and satisfiability of waveform timing specifications
Veröffentlicht in Networks
VolltextArtikel -
19
-
20
On equations for regular languages, finite automata, and sequential networks
Veröffentlicht in Theoretical computer science
VolltextArtikel