Frits W. Vaandrager
-
Compositional Proofs for Concurrent Objects
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Progress under bounded fairness
Distributed Computing