Introduction

Authors:
Michael Merritt
Affiliations:
-
Venue:
Distributed Computing - Special issue: Verification of lazy caching
Year:
1999

Citing 3
Cited 0

Axioms for concurrent objects

POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Hierarchical correctness proofs for distributed algorithms

PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
Lazy caching

ACM Transactions on Programming Languages and Systems (TOPLAS)

Quantified Score

Hi-index	0.00

Visualization

Abstract