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 May 18
Analysing and Comparing Encodability Criteria for Process Calculi by Kirstin Peters and Rob van Glabbeek Aug 10