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

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

Research output: Book/ReportReportAcademic

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

Publication series

NameComputing science notes
Volume9316

Cite this