Finding the correctness proof of a concurrent program

E.W. Dijkstra

doi:10.1007/BFb0014652

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

6 Citations (Scopus)

Original language	English
Title of host publication	Program Construction (International Summer School, Marktoberdorf, Germany, July 26-August 6, 1978)
Editors	F.L. Bauer, M. Broy, E.W. Dijkstra
Place of Publication	Berlin
Publisher	Springer
Chapter	3
Pages	24-34
Number of pages	11
ISBN (Electronic)	978-3-540-35312-6
ISBN (Print)	3-540-09251-X, 978-3-540-09251-3
DOIs	https://doi.org/10.1007/BFb0014652
Publication status	Published - 1979

Publication series

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

Access to Document

10.1007/BFb0014652

Cite this

@inproceedings{72fcea2c29b74d0892ebaf0a31e0a7fa,

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

author = "E.W. Dijkstra",

year = "1979",

doi = "10.1007/BFb0014652",

language = "English",

isbn = "3-540-09251-X",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "24--34",

editor = "F.L. Bauer and M. Broy and E.W. Dijkstra",

booktitle = "Program Construction (International Summer School, Marktoberdorf, Germany, July 26-August 6, 1978)",

address = "Germany",

}

Finding the correctness proof of a concurrent program. / Dijkstra, E.W.

Program Construction (International Summer School, Marktoberdorf, Germany, July 26-August 6, 1978). ed. / F.L. Bauer; M. Broy; E.W. Dijkstra. Berlin : Springer, 1979. p. 24-34 (Lecture Notes in Computer Science; Vol. 69).

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

TY - GEN

T1 - Finding the correctness proof of a concurrent program

AU - Dijkstra, E.W.

PY - 1979

Y1 - 1979

U2 - 10.1007/BFb0014652

DO - 10.1007/BFb0014652

M3 - Conference contribution

SN - 3-540-09251-X

SN - 978-3-540-09251-3

T3 - Lecture Notes in Computer Science

SP - 24

EP - 34

BT - Program Construction (International Summer School, Marktoberdorf, Germany, July 26-August 6, 1978)

A2 - Bauer, F.L.

A2 - Broy, M.

A2 - Dijkstra, E.W.

PB - Springer

CY - Berlin

ER -