| On proof rules for monitors (1982) | |||||||||||||||||
Abstract | |||||||||||||||||
| An inadequacy is pointed out in the original proof rules for monitors and in later extended rules. This inadequacy gives rise to an anomaly in proving the invariant for a monitor simulating a counting semaphore. New proof rules are proposed and used to give a sound proof of the invariant. | |||||||||||||||||
Publication details | |||||||||||||||||
| |||||||||||||||||