On Proof Rules for Monitors

J. Mack Adams, Andrew P. Black. On Proof Rules for Monitors. Operating Systems Review, 16(2):18-27, 1982.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.