Expressive specification and verification of choreographies

L.J. Edixhoven

Research output: Thesis › Doctoral Thesis › Thesis 1: fully internal

82 Downloads (Pure)
Original languageEnglish
QualificationPhD
Awarding Institution
  • Open Universiteit: faculties
Supervisors/Advisors
  • Heeren, Bastiaan, Supervisor
  • Bonsangue, Marcello M., Supervisor, External person
  • Jongmans, Sung-Shik, Co-supervisor
Award date12 Dec 2024
Publication statusPublished - 12 Dec 2024

Access to Document

    Cite this