A compositional proof system for shared variable concurrency

F.S. de Boer, U. Hannemann, W.P. de Roever

Research output: Contribution to journal › Article › Academic › peer-review

Original language	Undefined/Unknown
Pages (from-to)	197-213
Number of pages	17
Journal	FME '97: Industrial Applications and Strengthened Foundations of Formal Methods
Volume	1313
Publication status	Published - 1997

Cite this

@article{5b5f435b426e434bb6e5b4d6d8386afb,

title = "A compositional proof system for shared variable concurrency",

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

year = "1997",

language = "Undefined/Unknown",

volume = "1313",

pages = "197--213",

journal = "FME '97: Industrial Applications and Strengthened Foundations of Formal Methods",

}

TY - JOUR

T1 - A compositional proof system for shared variable concurrency

AU - de Boer, F.S.

AU - Hannemann, U.

AU - de Roever, W.P.

PY - 1997

Y1 - 1997

M3 - Article

VL - 1313

SP - 197

EP - 213

JO - FME '97: Industrial Applications and Strengthened Foundations of Formal Methods

JF - FME '97: Industrial Applications and Strengthened Foundations of Formal Methods

ER -