Publications

Keep it Fair: Equivalences

Joint work with Tobias Prehn
Proceedings 10th Interaction and Concurrency Experience, ICE@DisCoTec 2017, Neuchâtel, Switzerland, 21-22nd June 2017, 2017

DeltaCCS: A Core Calculus for Behavioral Change

Joint work with Malte Lochau, Hauke Baller, Lars Ribbeck
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I, 2014

On the Step Branching Time Closure of Free-Choice Petri Nets

Joint work with Jens-Wolfhard Schicke-Uffmann, Ursula Goltz
Formal Techniques for Distributed Objects, Components, and Systems - 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings, 2014