Monitors With Arrays of Condition Variables and Proof Rules Handling Local Quantities

Monitors With Arrays of Condition Variables and Proof Rules Handling Local Quantities

Authors
S. Gjessing