Output Non-Deterministic
Static: has det. implementation
Dynamic: has no det. impl.
Closed under composition,
and under anti-refinement
Examples:
Deterministic: One-All
Static: E-Element,
Non-Receptive 1-Bit Variable
Dynamic: RGDA Arbiter
Next |
Previous |
Overview |
Index
Tom Verhoeff, Classification of DI Process Specifications