Luc Edixhoven Promotors: dr. B.J. Heeren (OU) en prof. dr. M.M. Bonsangue (UL) Co-promotors: dr. S.T.Q. Jongmans (OU) Open University Date: 12 December 2024 Thesis: PDF Summary Distributed computing is becoming ever more important. However, designing and implementing distributed systems correctly is notoriously difficult. An important factor in this is …