Finding the correctness proof of a concurrent program

E.W. Dijkstra

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Originele taal-2Engels
TitelMathematical Foundations of Computer Science (Proceedings 7th Symposium, MFCS '78, Zakopane, Poland, September 4-8, 1978)
RedacteurenJ. Winkowski
Plaats van productieBerlin
UitgeverijSpringer
Pagina's31-38
Aantal pagina's8
ISBN van elektronische versie978-3-540-35757-5
ISBN van geprinte versie978-3-540-08921-6
DOI's
StatusGepubliceerd - 1978

Publicatie series

NaamLecture Notes in Computer Science
Volume64
ISSN van geprinte versie0302-9743

Citeer dit

Dijkstra, E. W. (1978). Finding the correctness proof of a concurrent program. In J. Winkowski (editor), Mathematical Foundations of Computer Science (Proceedings 7th Symposium, MFCS '78, Zakopane, Poland, September 4-8, 1978) (blz. 31-38). (Lecture Notes in Computer Science; Vol. 64). Springer. https://doi.org/10.1007/3-540-08921-7_54