Alexander Bentkamp Promotor: prof.dr. W. J. Fokkink (VU) Co-promotors: dr. J. C. Blanchette (VU) and dr. U. Waldmann (Max-Planck-Institut für Informatik, Saarbrücken, Germany) Vrije Universiteit Amsterdam Date: 10 May 2021 Thesis: PDF The defense can be watched live online on youtube. Summary This thesis presents an extension of the superposition …