Michael H. Coffin

Publication Activity (10 Years)

Years Active: 1988-1997
Publications (10 Years): 0

Publications

Twan Basten, Thomas Kunz, James P. Black, Michael H. Coffin, David J. Taylor
Vector Time and Causality Among Abstract Events in Distributed Computations. Distributed Comput. 11 (1) (1997)
Peter A. Buhr, Michael Fortier, Michael H. Coffin
Monitor Classification. ACM Comput. Surv. 27 (1) (1995)
David J. Taylor, Michael H. Coffin
Integrating real-time and partial-order information in event-data displays. CASCON (1994)
Scotte Zinn, Michael H. Coffin
Efficient event generation for detecting races. CASCON (1993)
Michael H. Coffin, Ronald A. Olsson
An SR Approach to Multiway Rendezvous. Comput. Lang. 14 (4) (1989)
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) (1988)