Reply to "on proof rules for monitors"

Authors:
John H. Howard
Affiliations:
IBM Research Laboratory, San Jose, California
Venue:
ACM SIGOPS Operating Systems Review
Year:
1982

Citing 5
Cited 1

Proving monitors

Communications of the ACM
Monitors: an operating system structuring concept

Communications of the ACM
Synchronization of communicating processes

Communications of the ACM
Signaling in monitors

ICSE '76 Proceedings of the 2nd international conference on Software engineering
On proof rules for monitors

ACM SIGOPS Operating Systems Review

Monitor classification

ACM Computing Surveys (CSUR)

Quantified Score

Hi-index	0.00

Visualization

Abstract