Deciding All Behavioral Equivalences at Once: A Game for Linear-Time--Branching-Time Spectroscopy
Bisping, Benjamin, Jansen, David N., Nestmann, Uwe
Published in Logical methods in computer science (09.08.2022)
Published in Logical methods in computer science (09.08.2022)
Get full text
Journal Article
FTMPST: Fault-Tolerant Multiparty Session Types
Peters, Kirstin, Nestmann, Uwe, Wagner, Christoph
Published in Logical methods in computer science (01.01.2023)
Published in Logical methods in computer science (01.01.2023)
Get full text
Journal Article
On the Distributability of Mobile Ambients
Peters, Kirstin, Nestmann, Uwe
Published in Electronic proceedings in theoretical computer science (24.08.2018)
Published in Electronic proceedings in theoretical computer science (24.08.2018)
Get full text
Journal Article
Dynamic Causality in Event Structures
Youssef Arbach, David S. Karcher, Kirstin Peters, Uwe Nestmann
Published in Logical methods in computer science (27.02.2018)
Published in Logical methods in computer science (27.02.2018)
Get full text
Journal Article
Encoding CSP into CCS
Hatzel, Meike, Wagner, Christoph, Peters, Kirstin, Nestmann, Uwe
Published in Electronic proceedings in theoretical computer science (26.08.2015)
Published in Electronic proceedings in theoretical computer science (26.08.2015)
Get full text
Journal Article
States in Process Calculi
Wagner, Christoph, Nestmann, Uwe
Published in Electronic proceedings in theoretical computer science (06.08.2014)
Published in Electronic proceedings in theoretical computer science (06.08.2014)
Get full text
Journal Article
Matching in the Pi-Calculus
Peters, Kirstin, Yonova-Karbe, Tsvetelina, Nestmann, Uwe
Published in Electronic proceedings in theoretical computer science (06.08.2014)
Published in Electronic proceedings in theoretical computer science (06.08.2014)
Get full text
Journal Article
Synchrony vs Causality in the Asynchronous Pi-Calculus
Peters, Kirstin, Schicke, Jens-Wolfhard, Nestmann, Uwe
Published in Electronic proceedings in theoretical computer science (20.08.2011)
Published in Electronic proceedings in theoretical computer science (20.08.2011)
Get full text
Journal Article
Breaking Symmetries
Peters, Kirstin, Nestmann, Uwe
Published in Electronic proceedings in theoretical computer science (28.11.2010)
Published in Electronic proceedings in theoretical computer science (28.11.2010)
Get full text
Journal Article
Adding Priority to Event Structures
Arbach, Youssef, Peters, Kirstin, Nestmann, Uwe
Published in Electronic proceedings in theoretical computer science (26.07.2013)
Published in Electronic proceedings in theoretical computer science (26.07.2013)
Get full text
Journal Article
On distributability
Peters, Kirstin, Nestmann, Uwe, Schmitt, Anna
Published in Theoretical computer science (20.04.2022)
Published in Theoretical computer science (20.04.2022)
Get full text
Journal Article
Breaking symmetries
PETERS, KIRSTIN, NESTMANN, UWE
Published in Mathematical structures in computer science (01.09.2016)
Published in Mathematical structures in computer science (01.09.2016)
Get full text
Journal Article
Session Types for Link Failures
Adameit, Manuel, Peters, Kirstin, Nestmann, Uwe
Published in Formal Techniques for Distributed Objects, Components, and Systems (2017)
Published in Formal Techniques for Distributed Objects, Components, and Systems (2017)
Get full text
Book Chapter