Marlon Dumas, Luciano García-Bañuelos, Joosep Jääger, Peeter Laud, Raimundas Matulevicius, Alisa Pankova, Martin Pettai, Pille Pullonen-Raudvere, Aivo Toots, Reedik Tuuling, Maksym Yerokhin. Multi-level privacy analysis of business processes: the Pleak toolset. STTT, 24(2):183-203, 2022. [doi]
Abstract is missing.