Mark Hayden

Formal Methods & Distributed Systems.
Mark Hayden, February 1997
Group Communication with Functional Languages
Mark Hayden, January 28, 1997
Square-Root Verification.
Jason Hickey, Mark Hayden, May 1995


Home | Introduction |Authors | Topics | Chronological List | PRL Project


Melissa Totman, Department of Computer Science, Cornell University, Ithaca, NY. Mail to: mtotman@cs.cornell.edu