Next:
The Theorem
Up:
A Distributed Architecture Definition
Previous:
Using DADL
Theory
The Theorem
The Proof Outline
Ronald LeRoi Burback
1998-12-16
