Business Process Privacy Analysis in Pleak (Extended Abstract)
Informatik Spektrum: Vol. 42, No. 5 Toots, Aivo; Tuuling, Reedik; Yerokhin, Maksym; Dumas, Marlon; García-Bañuelos, Luciano; Laud, Peeter; Matulevičius, Raimundas; Pankova, Alisa; Pettai, Martin; Pullonen, Pille; Tom, Jake