Knowledge Base of
Publications,
Seminars,
& 
Math Library
PhD theses from the project are accessible at the NCSTRL web site.
Filter for: Mark Hayden
6 results
The Horus and Ensemble Projects: Accomplishments and Limitations
| cite »
by Kenneth Birman, Robert L. Constable, Mark Hayden, Jason Hickey, Christoph Kreitz, Robbert van Renesse, Ohad Rodeh, Werner Vogels
2000
Building Reliable, High-Performance Communication Systems from Components
| cite »
by Xiaoming Liu, Christoph Kreitz, Robbert van Renesse, Jason Hickey, Mark Hayden, Kenneth Birman, Robert L. Constable
1999
A Proof Environment for the Development of Group Communication Systems
| cite »
by Christoph Kreitz, Mark Hayden, Jason Hickey
1998
The Ensemble System
| cite »
by Mark Hayden
1998
Group Communication with Functional Languages
by Mark Hayden
January 28, 1997
Formal Methods & Distributed Systems
by Mark Hayden
1996-1997