Semantics and verification in process algebras with data and timing

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

104 Downloads (Pure)
Original languageEnglish
QualificationDoctor of Philosophy
Awarding Institution
  • Department of Mathematics and Computer Science
Supervisors/Advisors
  • Baeten, Jos, Promotor
  • Groote, J.F. (Jan Friso), Promotor
Award date20 Feb 2003
Place of PublicationEindhoven
Publisher
Print ISBNs90-386-0672-9
DOIs
Publication statusPublished - 2003

Cite this

Willemse, T.A.C.. / Semantics and verification in process algebras with data and timing. Eindhoven : Technische Universiteit Eindhoven, 2003. 181 p.
@phdthesis{9a53d652fc034f619ecba3958f1ce4d3,
title = "Semantics and verification in process algebras with data and timing",
author = "T.A.C. Willemse",
year = "2003",
doi = "10.6100/IR562056",
language = "English",
isbn = "90-386-0672-9",
publisher = "Technische Universiteit Eindhoven",
school = "Department of Mathematics and Computer Science",

}

Willemse, TAC 2003, 'Semantics and verification in process algebras with data and timing', Doctor of Philosophy, Department of Mathematics and Computer Science, Eindhoven. https://doi.org/10.6100/IR562056

Semantics and verification in process algebras with data and timing. / Willemse, T.A.C.

Eindhoven : Technische Universiteit Eindhoven, 2003. 181 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

TY - THES

T1 - Semantics and verification in process algebras with data and timing

AU - Willemse, T.A.C.

PY - 2003

Y1 - 2003

U2 - 10.6100/IR562056

DO - 10.6100/IR562056

M3 - Phd Thesis 1 (Research TU/e / Graduation TU/e)

SN - 90-386-0672-9

PB - Technische Universiteit Eindhoven

CY - Eindhoven

ER -