Michael H. Coffin is an author at University of Waterloo specializing in formal methods, engineering, and computer science.
Top concepts
EngineeringFormal MethodsComputer ScienceCompilersData ScienceSoftware DesignSystem SoftwareCausal InferenceProgram AnalysisOperating Systems
Publications per year
1988–1997
2
2
Vector time and causality among abstract events in distributed computations
Twan Basten, Thomas Kunz, James P. Black et al. · Distributed Computing · 1997 · 19 citations
Rows per page
1–2 of 2