Concepts for concurrent programming
Current trends in concurrency. Overviews and tutorials
An axiomatic semantics of concurrent programming languages
Logics and models of concurrent systems
Constraints: a uniform approach to aliasing and typing
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The ``Hoare Logic'' of CSP, and All That
ACM Transactions on Programming Languages and Systems (TOPLAS)
An axiomatic basis for computer programming
Communications of the ACM
Integrated concurrency analysis in a software development enviornment
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Parallel program verification with directed graphs
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
Proof Rules for Flush Channels
IEEE Transactions on Software Engineering
Thread-Modular Verification for Shared-Memory Programs
ESOP '02 Proceedings of the 11th European Symposium on Programming Languages and Systems
The Early Search for Tractable Ways of Reasoning about Programs
IEEE Annals of the History of Computing
Hi-index | 0.00 |
When explicit control predicates rather than dummy variables are used, the Owicki-Gries method for proving safety properties of concurrent programs can be strengthened, making it easier to construct the required program annotations.