Verifying a design pattern for the fault-tolerant execution of parallel programs

Ekkart Kindler, Dennis Shasha

Research output: Book/Report › Other report

Original languageEnglish (US)
PublisherNew York University
StatePublished - 2000

Publication series

NameTechnical Report
No.TR2000-803

Cite this