Lamport clocks: verifying a directory cache-coherence protocol
| Author(s) : | Anne E. Condon Daniel J. Sorin Manoj Plakal Mark D. Hill, |
| Publisher : | N/A |
| Publication Date : | 1998 |
| ISSN : | N/A |
| Abstract : | reprints for Governmental purposes notwithstanding any copyright notation thereon. The views and conclusions contained herein are those of the authors and should not be interpreted as necessarily representing the official policies or endorsements, either, |