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
Kirstin Peters
2016
2015
Analysing and Comparing Encodability Criteria for Process Calculi
by Kirstin Peters and Rob van Glabbeek