| 1997 |
|---|
| 6 | EE | Twan Basten,
Thomas Kunz,
James P. Black,
Michael H. Coffin,
David J. Taylor:
Vector Time and Causality Among Abstract Events in Distributed Computations.
Distributed Computing 11(1): 21-39 (1997) |
| 1995 |
|---|
| 5 | | Peter A. Buhr,
Michael Fortier,
Michael H. Coffin:
Monitor Classification.
ACM Comput. Surv. 27(1): 63-107 (1995) |
| 1994 |
|---|
| 4 | EE | David J. Taylor,
Michael H. Coffin:
Integrating real-time and partial-order information in event-data displays.
CASCON 1994: 66 |
| 1993 |
|---|
| 3 | EE | Scotte Zinn,
Michael H. Coffin:
Efficient event generation for detecting races.
CASCON 1993: 524-536 |
| 1989 |
|---|
| 2 | | Michael H. Coffin,
Ronald A. Olsson:
An SR Approach to Multiway Rendezvous.
Comput. Lang. 14(4): 255-262 (1989) |
| 1988 |
|---|
| 1 | EE | Gregory R. Andrews,
Ronald A. Olsson,
Michael H. Coffin,
Irving Elshoff,
Kelvin D. Nilsen,
Titus D. M. Purdin,
Gregg M. Townsend:
An Overview of the SR Language and Implementation.
ACM Trans. Program. Lang. Syst. 10(1): 51-86 (1988) |
