Semantics and verification in process algebras with data and timing

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

181 Downloads (Pure)

Original language	English
Qualification	Doctor of Philosophy
Awarding Institution	Mathematics and Computer Science
Supervisors/Advisors	Baeten, Jos, Promotor Groote, Jan Friso, Promotor
Award date	20 Feb 2003
Place of Publication	Eindhoven
Publisher	Technische Universiteit Eindhoven
Print ISBNs	90-386-0672-9
DOIs	https://doi.org/10.6100/IR562056
Publication status	Published - 2003

Access to Document