Local nondeterminism in asynchronously communicating processes

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

Original language	Undefined/Unknown
Title of host publication	Proceedings of Formal Methods Europe '96
Editors	M.C. Gaudel, J. Woodcock
Pages	367-384
Number of pages	18
Publication status	Published - 1996

Keywords

@inproceedings{8c4f946f0dc04d1cb2cf892d99916c1c,

title = "Local nondeterminism in asynchronously communicating processes",

keywords = "Wiskunde en Informatica (WIIN)",

author = "\{de Boer\}, F.S. and \{van Hulst\}, M.",

year = "1996",

language = "Undefined/Unknown",

pages = "367--384",

editor = "M.C. Gaudel and J. Woodcock",

booktitle = "Proceedings of Formal Methods Europe '96",

}