Output Deterministic

No input: output predetermined
Max. transient:
No output choice:
Closed under composition,
not under anti-refinement
- Selector, Toggle

Next | Previous | Overview | Index

Tom Verhoeff, Classification of DI Process Specifications