A Model and Temporal Proof System for Networks of Processes

34

Transcript of A Model and Temporal Proof System for Networks of Processes