Discrete-time process algebra with empty process

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

44 Downloads (Pure)

Original language	Dutch
Title of host publication	Dat is dus heel interessant : liber amicorum voor Paul Klint
Editors	M. Brune, A. Deursen, van, J. Heering
Place of Publication	Amsterdam
Publisher	Centrum voor Wiskunde en Informatica
Pages	5-24
Publication status	Published - 1997

Access to Document

@inbook{b80bd6e89f964d72a3e7bd8e31ef5049,

title = "Discrete-time process algebra with empty process",

author = "J.C.M. Baeten and J.J. Vereijken",

year = "1997",

language = "Nederlands",

pages = "5--24",

editor = "M. Brune and \{Deursen, van\}, A. and J. Heering",

booktitle = "Dat is dus heel interessant : liber amicorum voor Paul Klint",

publisher = "Centrum voor Wiskunde en Informatica",

}