ACM Computing Surveys (CSUR)
Verifying properties of parallel programs: an axiomatic approach
Communications of the ACM
Formal verification of parallel programs
Communications of the ACM
Reduction: a method of proving properties of parallel programs
Communications of the ACM
Verification and design aspects of "true concurrency"
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Reduction: a new method of proving properties of systems of processes
POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A consistent and complete deductive system for the verification of parallel programs
STOC '76 Proceedings of the eighth annual ACM symposium on Theory of computing
Comments on capabilities, limitations and “correctness” of Petri nets
ISCA '73 Proceedings of the 1st annual symposium on Computer architecture
Serializability in multi-level monitor environments
ACM '78 Proceedings of the 1978 annual conference - Volume 2
The Early Search for Tractable Ways of Reasoning about Programs
IEEE Annals of the History of Computing
A semantics for concurrent separation logic
Theoretical Computer Science
Synthesis of a software security system
ACM '74 Proceedings of the 1974 annual ACM conference - Volume 2
| Hi-index | 0.05 |