Formal justification of the rely guarantee paradigm for shared-variable concurrency: A semantic approach

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

Original language	Undefined/Unknown
Title of host publication	Proceedings od the FM'99 World Congress On Formal methods in The Development Of Computing Systems
Place of Publication	Berlin
Publisher	Springer
Publication status	Published - 1999

Keywords

@inproceedings{8acfcd34a53943b9a1d44b47e8bcb25c,

title = "Formal justification of the rely guarantee paradigm for shared-variable concurrency: A semantic approach",

keywords = "Wiskunde en Informatica (WIIN)",

author = "\{de Boer\}, F.S. and U. Hannemann and \{de Roever\}, W.P.",

year = "1999",

language = "Undefined/Unknown",

booktitle = "Proceedings od the FM'99 World Congress On Formal methods in The Development Of Computing Systems",

publisher = "Springer",

}

Formal justification of the rely guarantee paradigm for shared-variable concurrency: A semantic approach. / de Boer, F.S.; Hannemann, U.; de Roever, W.P.
Proceedings od the FM'99 World Congress On Formal methods in The Development Of Computing Systems. Berlin: Springer, 1999.

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

TY - GEN

T1 - Formal justification of the rely guarantee paradigm for shared-variable concurrency: A semantic approach

AU - de Boer, F.S.

AU - Hannemann, U.

AU - de Roever, W.P.

PY - 1999

Y1 - 1999

KW - Wiskunde en Informatica (WIIN)

M3 - Conference contribution

BT - Proceedings od the FM'99 World Congress On Formal methods in The Development Of Computing Systems

PB - Springer

CY - Berlin

ER -