On the Distributability of Mobile Ambients

by Kirstin Peters, Uwe Nestmann
Published 2018-08-01

Breaking Symmetries

by Kirstin Peters, Uwe Nestmann
Published 2010-11-01

States in Process Calculi

by Christoph Wagner, Uwe Nestmann
Published 2014-08-01

Adding Priority to Event Structures

by Youssef Arbach, Kirstin Peters, Uwe Nestmann
Published 2013-07-01

Matching in the Pi-Calculus

by Kirstin Peters, Tsvetelina Yonova-Karbe, Uwe Nestmann
Published 2014-08-01

Synchrony vs Causality in the Asynchronous Pi-Calculus

by Jens-Wolfhard Schicke, Kirstin Peters, Uwe Nestmann
Published 2011-08-01

Encoding CSP into CCS

by Meike Hatzel, Christoph Wagner, Kirstin Peters, Uwe Nestmann
Published 2015-08-01