Publications

of Kai Stadtmüller

Articles in journal, book chapters

  1. Martin Sulzmann, Kai Stadtmüller, and Edmund S.L. Lam. Establishing a Correspondence between Transactional Events and Constraint Handling Rules. 2015. [PDF]

BACK TO INDEX