A trace-based compositional proof theory for fault tolerant distributed systems

  • H.J.J.H. Schepers
  • , J.J.M. Hooman

Research output: Book/Report › Report › Academic

258 Downloads (Pure)
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages27
Publication statusPublished - 1993

Publication series

NameComputing science notes
Volume9316

Access to Document

  • 9314335Final published version, 0.98 MB

    Cite this