Delay-Insensitivity
System and Environment
P || refl.P
Delaying wire interface
Correctness
Regardless of delays
No interference
No deadlock: no
w/o
Next
|
Previous
|
Overview
|
Index
Tom Verhoeff, Classification of DI Process Specifications