## E-Mails 📧

- ed.nilreb-ut @sretep.nitsrik

## Entries

### 2016

##### 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

### 2015

##### Analysing and Comparing Encodability Criteria for Process Calculi

by Kirstin Peters 📧 and Rob van Glabbeek 🌐
Aug 10