Finding the correctness proof of a concurrent program

E.W. Dijkstra

doi:10.1007/3-540-08921-7_54

Finding the correctness proof of a concurrent program

E.W. Dijkstra

Mathematics and Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Mathematical Foundations of Computer Science (Proceedings 7th Symposium, MFCS '78, Zakopane, Poland, September 4-8, 1978)
Editors	J. Winkowski
Place of Publication	Berlin
Publisher	Springer
Pages	31-38
Number of pages	8
ISBN (Electronic)	978-3-540-35757-5
ISBN (Print)	978-3-540-08921-6
DOIs	https://doi.org/10.1007/3-540-08921-7_54
Publication status	Published - 1978

Publication series

Name	Lecture Notes in Computer Science
Volume	64
ISSN (Print)	0302-9743

Access to Document

10.1007/3-540-08921-7_54

Cite this

@inproceedings{032177bce08f42259d12cc5f87981f3b,

title = "Finding the correctness proof of a concurrent program",

author = "E.W. Dijkstra",

year = "1978",

doi = "10.1007/3-540-08921-7_54",

language = "English",

isbn = "978-3-540-08921-6",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "31--38",

editor = "J. Winkowski",

booktitle = "Mathematical Foundations of Computer Science (Proceedings 7th Symposium, MFCS '78, Zakopane, Poland, September 4-8, 1978)",

address = "Germany",

}

Finding the correctness proof of a concurrent program. / Dijkstra, E.W.
Mathematical Foundations of Computer Science (Proceedings 7th Symposium, MFCS '78, Zakopane, Poland, September 4-8, 1978). ed. / J. Winkowski. Berlin: Springer, 1978. p. 31-38 (Lecture Notes in Computer Science; Vol. 64).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Finding the correctness proof of a concurrent program

AU - Dijkstra, E.W.

PY - 1978

Y1 - 1978

U2 - 10.1007/3-540-08921-7_54

DO - 10.1007/3-540-08921-7_54

M3 - Conference contribution

SN - 978-3-540-08921-6

T3 - Lecture Notes in Computer Science

SP - 31

EP - 38

BT - Mathematical Foundations of Computer Science (Proceedings 7th Symposium, MFCS '78, Zakopane, Poland, September 4-8, 1978)

A2 - Winkowski, J.

PB - Springer

CY - Berlin

ER -