Compositional proof methods for 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	Compositionality: The Significant Difference
Editors	W.P. de Roever, H. Langmaack, A. Pnueli
Place of Publication	Berlijn
Publisher	Springer
Publication status	Published - 1999

Keywords

@inproceedings{13fb68a457fd4694b6c4d2752bcc74cd,

title = "Compositional proof methods for concurrency: A semantic approach",

keywords = "Wiskunde en Informatica (WIIN)",

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

year = "1999",

language = "Undefined/Unknown",

editor = "{de Roever}, W.P. and H. Langmaack and A. Pnueli",

booktitle = "Compositionality: The Significant Difference",

publisher = "Springer",

address = "Germany",

}