Analysis

A theoretical basis for the recovery model has been established. Here is an overview:
Notion of safety extended to multiple detection points.
Process dependency formalized.
A total ordering relation defined to describe the set of global state matrices formed during an execution.
Current global matrix proven to be the least upper bound of current set of matrices.
Recovery line defined and proven to be maximal and consistent and that validation does not result in deadlock.