|
From: | Jonathan S. Shapiro |
Subject: | Re: Design goals |
Date: | Wed, 02 Nov 2005 15:44:45 -0500 |
Bas: I see no reason to distinguish confinement from confinement with endogenous verification, since the same mechanism achieves both. Otherwise, good starting point! shap
[Prev in Thread] | Current Thread | [Next in Thread] |