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

Ekkart Kindler, Dennis Shasha

Research output: Book/ReportOther report

Original languageEnglish (US)
PublisherNew York University
StatePublished - 2000

Publication series

NameTechnical Report
No.TR2000-803

Cite this

Kindler, E., & Shasha, D. (2000). Verifying a design pattern for the fault-tolerant execution of parallel programs. (Technical Report; No. TR2000-803). New York University.