Discrete-time process algebra

J.J. Vereijken

Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

207 Downloads (Pure)

Original language	English
Qualification	Doctor of Philosophy
Awarding Institution	Mathematics and Computer Science
Supervisors/Advisors	Baeten, Jos, Promotor Bergstra, Jan A., Promotor, External person Mauw, Sjouke, Copromotor
Award date	18 Dec 1997
Place of Publication	Eindhoven
Publisher	Technische Universiteit Eindhoven
Print ISBNs	90-386-0541-2
DOIs	https://doi.org/10.6100/IR498558
Publication status	Published - 1997

Access to Document

@phdthesis{aabcff795b374d22afe92ecf223d0eee,

title = "Discrete-time process algebra",

author = "J.J. Vereijken",

year = "1997",

doi = "10.6100/IR498558",

language = "English",

isbn = "90-386-0541-2",

publisher = "Technische Universiteit Eindhoven",

type = "Phd Thesis 1 (Research TU/e / Graduation TU/e)",

school = "Mathematics and Computer Science",

}