A theory of executability : with a focus on the expressivity of process calculi

F. Yang

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

91 Downloads (Pure)
Original languageEnglish
QualificationDoctor of Philosophy
Awarding Institution
  • Department of Mathematics and Computer Science
Supervisors/Advisors
  • Baeten, J.C.M., Promotor
  • Groote, J.F. (Jan Friso), Promotor
  • Luttik, S.P. (Bas), Copromotor
Award date11 Jun 2018
Place of PublicationEindhoven
Publisher
Print ISBNs978-90-386-4532-2
Publication statusPublished - 11 Jun 2018

Bibliographical note

Proefschrift.

Promotion : time and place

  • 11:00h, Auditorium, Senaatszaal

Cite this

Yang, F. (2018). A theory of executability : with a focus on the expressivity of process calculi. Eindhoven: Technische Universiteit Eindhoven.
Yang, F.. / A theory of executability : with a focus on the expressivity of process calculi. Eindhoven : Technische Universiteit Eindhoven, 2018. 161 p.
@phdthesis{e8b6dd26468e4fe2bee4ad5025d362a8,
title = "A theory of executability : with a focus on the expressivity of process calculi",
author = "F. Yang",
note = "Proefschrift.",
year = "2018",
month = "6",
day = "11",
language = "English",
isbn = "978-90-386-4532-2",
series = "IPA Dissertation Series",
publisher = "Technische Universiteit Eindhoven",
school = "Department of Mathematics and Computer Science",

}

Yang, F 2018, 'A theory of executability : with a focus on the expressivity of process calculi', Doctor of Philosophy, Department of Mathematics and Computer Science, Eindhoven.

A theory of executability : with a focus on the expressivity of process calculi. / Yang, F.

Eindhoven : Technische Universiteit Eindhoven, 2018. 161 p.

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

TY - THES

T1 - A theory of executability : with a focus on the expressivity of process calculi

AU - Yang, F.

N1 - Proefschrift.

PY - 2018/6/11

Y1 - 2018/6/11

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

SN - 978-90-386-4532-2

T3 - IPA Dissertation Series

PB - Technische Universiteit Eindhoven

CY - Eindhoven

ER -

Yang F. A theory of executability : with a focus on the expressivity of process calculi. Eindhoven: Technische Universiteit Eindhoven, 2018. 161 p. (IPA Dissertation Series).