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 📧 and Rob van Glabbeek 🌐