Reasoning about asynchronous communication in dynamically evolving object structures

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

Original language	Undefined/Unknown
Title of host publication	Proceedings of the 9th International Conference on Concurrency Theory (CONCUR '98)
Editors	D. Sangiorgi, R. Simone
Place of Publication	Berlin, Germany
Publisher	Springer
Publication status	Published - 1998

Keywords

@inproceedings{2fe92fb9b397480e9f210a8f448fb654,

title = "Reasoning about asynchronous communication in dynamically evolving object structures",

keywords = "Wiskunde en Informatica (WIIN)",

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

year = "1998",

language = "Undefined/Unknown",

editor = "D. Sangiorgi and R. Simone",

booktitle = "Proceedings of the 9th International Conference on Concurrency Theory (CONCUR '98)",

publisher = "Springer",

address = "Germany",

}