| |
| 1994 | ||
|---|---|---|
| 3 | Barbara Simons, Vivek Sarkar, Mauricio Breternitz Jr., Michael Lai: An Optimal Asynchronous Scheduling Algorithm for Software Cache Consistence. HICSS (2) 1994: 502-511 | |
| 1990 | ||
| 2 | Elspeth Cusack, Michael Lai: Object-Oriented Specification on LOTOS and Z, or My Cat Really is Object-Oriented! REX Workshop 1990: 179-202 | |
| 1983 | ||
| 1 | Michael Lai: Communications Software Tools. INFOCOM 1983: 589-590 | |
| 1 | Mauricio Breternitz Jr. | [3] |
| 2 | Elspeth Cusack | [2] |
| 3 | Vivek Sarkar | [3] |
| 4 | Barbara B. Simons (Barbara Simons) | [3] |