A proof system for the parallel object-oriented language POOL

F.S. Boer, de

doi:10.1007/BFb0032059

A proof system for the parallel object-oriented language POOL

F.S. Boer, de

Mathematics and Computer Science

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

5 Citations (Scopus)

Original language	English
Title of host publication	Automata, Languages and Programming (Proceedings 17th International Colloquium, ICALP'90, Coventry, UK, July 16-20, 1990)
Editors	M. Paterson
Place of Publication	Berlin
Publisher	Springer
Pages	572-585
ISBN (Print)	3-540-52826-1
DOIs	https://doi.org/10.1007/BFb0032059
Publication status	Published - 1990

Publication series

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

Access to Document

10.1007/BFb0032059

Cite this

@inproceedings{de322963e40e4ccba0fa8df406ef47f0,

title = "A proof system for the parallel object-oriented language POOL",

author = "\{Boer, de\}, F.S.",

year = "1990",

doi = "10.1007/BFb0032059",

language = "English",

isbn = "3-540-52826-1",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "572--585",

editor = "M. Paterson",

booktitle = "Automata, Languages and Programming (Proceedings 17th International Colloquium, ICALP'90, Coventry, UK, July 16-20, 1990)",

address = "Germany",

}

A proof system for the parallel object-oriented language POOL. / Boer, de, F.S.
Automata, Languages and Programming (Proceedings 17th International Colloquium, ICALP'90, Coventry, UK, July 16-20, 1990). ed. / M. Paterson. Berlin: Springer, 1990. p. 572-585 (Lecture Notes in Computer Science; Vol. 443).

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

TY - GEN

T1 - A proof system for the parallel object-oriented language POOL

AU - Boer, de, F.S.

PY - 1990

Y1 - 1990

U2 - 10.1007/BFb0032059

DO - 10.1007/BFb0032059

M3 - Conference contribution

SN - 3-540-52826-1

T3 - Lecture Notes in Computer Science

SP - 572

EP - 585

BT - Automata, Languages and Programming (Proceedings 17th International Colloquium, ICALP'90, Coventry, UK, July 16-20, 1990)

A2 - Paterson, M.

PB - Springer

CY - Berlin

ER -