Conclusion
XDI Model
Simple extension for progress
Easy to incorporate into tools
Nice mathematical treatment
Limitations
Output Nondeterminism
Static vs. Dynamic Nondeterminism
Arbitration
Open Problems
Previous |
Overview |
Index
Tom Verhoeff, Classification of DI Process Specifications