Proving termination of parallel programs

K.R. Apt, F.S. Boer, de, E.-R. Olderog

Research output: Book/ReportReportAcademic

115 Downloads (Pure)
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages7
Publication statusPublished - 1990

Publication series

NameComputing science notes
Volume9013

Cite this