Searching for "On Proof Rules for Monitors." – sorted by Relevance.
4 documents found, showing 1 through 4.
-
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
Showing 1 through 4.
