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)

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

    Bibliographical note


    Promotion : time and place

    • 11:00h, Auditorium, Senaatszaal

    Cite this