An algebraic specification of process algebra, including two examples

S. Mauw

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

Original language	English
Title of host publication	Algebraic Methods (Passau, Germany, June 9-11, 1987)
Editors	M. Wirsing, J.A. Bergstra
Publisher	Springer
Pages	507-554
ISBN (Print)	3-540-51698-0
Publication status	Published - 1989

Cite this

@inproceedings{4bb5d34a1c4b4b6087725724442e4900,

title = "An algebraic specification of process algebra, including two examples",

author = "S. Mauw",

year = "1989",

language = "English",

isbn = "3-540-51698-0",

pages = "507--554",

editor = "M. Wirsing and J.A. Bergstra",

booktitle = "Algebraic Methods (Passau, Germany, June 9-11, 1987)",

publisher = "Springer",

address = "Germany",

}