Kirstin Peters

A Constructive Proof for FLP

by Benjamin Bisping, Paul-David Brodmann, Tim Jungnickel, Christina Rickmann, Henning Seidler, Anke Stüber, Arno Wilhelm-Weidner, Kirstin Peters and Uwe Nestmann

Analysing and Comparing Encodability Criteria for Process Calculi

by Kirstin Peters, Rob van Glabbeek, Lukas Bartl and Cinzia Di Giusto