Micha Hofri:
Proof of a Mutual Exclusion Algorithm - A 'Class'ic Example.
18-22 BibTeX
Peter B. Danzig, Stephen W. Melvin:
High Resolution Timing with Low Resolution Clocks and A Microsecond Resolution Timer for Sun Workstations.
23-26 BibTeX
Pankaj Jalote, Satish K. Tripathi:
Final Report on Workshop on Integrated Approach for Fault Tolerance - Current State and Future Requirements.
40-57 BibTeX
