Proving terminations of parallel programs

Additional Metadata
Publisher	Springer-Verlag
Organisation	Logic and language
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Apt, K., de Boer, F., & Olderog, E.-R. (1990). Proving terminations of parallel programs. In Beauty is our business, a birthday salute to Edsger W, Dijkstra (pp. 1–6). Springer-Verlag.

Publication