Searching for "On Proof Rules for Monitors." – sorted by Relevance.
-
On proof rules for monitors
- On Proof Rules for Monitors J. M. Adams and A. P. Black An inadequacy is pointed out
- Cited by 3 (1 self) – Add To MetaCart
-
Reply to "On Proof Rules for Monitors"
- Reply to "On Proof Rules for Monitors" John H. Howard IBM Research Laboratory 5600 Cottle Rd San
- Add To MetaCart
-
Notes on Separation Logic for Shared-variable Concurrency
- proof rules for monitors [3, 4, 1]. With the modied CCR rules we can at once handle many simple examples
- Cited by 3 (0 self) – Add To MetaCart
-
Verifying Concurrent Programs With Shared Data Classes
- . Hoare's proof rules for monitors include an invariant J; J holds when no processes are executing monitor
- Cited by 2 (0 self) – Add To MetaCart

