Searching for "Lamport Clocks Verifying a Directory Cache-Coherence Protocol." – sorted by Relevance.
3 documents found, showing 1 through 3.
-
Lamport clocks: verifying a directory cache-coherence protocol
- … 28-July 2, 1998, Puerto Vallarta, Mexico Lamport Clocks: Verifying a Directory Cache-Coherence…
- Cited by 32 (10 self) – Add To MetaCart
-
Manoj Plakal, Daniel J. Sorin, Anne E. Condon, Mark D. Hill
- … Avionics Directorate or the U.S. Government Lamport Clocks: Verifying a Directory Cache-Coherence…
- Add To MetaCart
-
Lamport Clocks: Verifying a Directory . . .
- … 28-July 2, 1998, Puerto Vallarta, Mexico Lamport Clocks: Verifying a Directory Cache-Coherence…
- Add To MetaCart
Showing 1 through 3.
