Theory of recursive functions and effective computability
Theory of recursive functions and effective computability
Semantics of sequential and parallel programs
Semantics of sequential and parallel programs
FASE '99 Proceedings of the Second Internationsl Conference on Fundamental Approaches to Software Engineering
Verifying Single and Multi-mutator Garbage Collectors with Owicki-Gries in Isabelle/HOL
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
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
Axiomatic proof techniques for parallel programs.
Axiomatic proof techniques for parallel programs.
Proving the Correctness of Multiprocess Programs
IEEE Transactions on Software Engineering
The rely-guarantee method in Isabelle/HOL
ESOP'03 Proceedings of the 12th European conference on Programming
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Hi-index | 0.00 |