OPUS 4 | Search

On distributability (2022)

Peters, Kirstin ; Nestmann, Uwe ; Schmitt, Anna

Fault-tolerant multiparty session types (2022)

Peters, Kirstin ; Nestmann, Uwe ; Wagner, Christoph

Breaking symmetries (2010)

A constructive proof for FLP (2016)

Bisping, Benjamin ; Brodmann, Paul-David ; Jungnickel, Tim ; Rickmann, Christina ; Seidler, Henning ; Stüber, Anke ; Wilhelm-Weidner, Arno ; Peters, Kirstin ; Nestmann, Uwe

On distributability in process calculi (2013)

Peters, Kirstin ; Nestmann, Uwe ; Goltz, Ursula

Is it a "good" encoding of mixed choice? (2012)

Peters, Kirstin ; Nestmann, Uwe

On the distributability of mobile ambients (2018)

Peters, Kirstin ; Nestmann, Uwe

Synchrony versus causality in distributed systems (2016)

Peters, Kirstin ; Schicke-Uffmann, Jens.Wolfhard ; Goltz, Ursula ; Nestmann, Uwe

Matching in the pi-calculus (2014)

Peters, Kirstin ; Yonova-Karbe, Tsvetelina ; Nestmann, Uwe

Taming concurrency for verification using multiparty session types (2019)

Peters, Kirstin ; Wagner, Christoph ; Nestmann, Uwe

Adding priority to event structures (2013)

Arbach, Youssef ; Peters, Kirstin ; Nestmann, Uwe

Distributability of mobile ambients (2020)

Peters, Kirstin ; Nestmann, Uwe

Dynamic causality in event structures (2018)

Arbach, Youssef ; Karcher, David S. ; Peters, Kirstin ; Nestmann, Uwe

Synchrony vs causality in the asynchronous pi-calculus (2011)

Peters, Kirstin ; Schicke, Jens-Wolfhard ; Nestmann, Uwe

Dynamic causality in event structures (2015)

Arbach, Youssef ; Karcher, David ; Peters, Kirstin ; Nestmann, Uwe

Session types for link failures (2017)

Adameit, Manuel ; Peters, Kirstin ; Nestmann, Uwe

Encoding CSP into CCS (2015)

Hatzel, Meike ; Wagner, Christoph ; Peters, Kirstin ; Nestmann, Uwe

Breaking symmetries (2016)

Peters, Kirstin ; Nestmann, Uwe

Coupled similarity: the first 32 years (2020)

Bisping, Benjamin ; Nestmann, Uwe ; Peters, Kirstin

Mechanical verification of a constructive proof for FLP (2016)

Bisping, Benjamin ; Brodmann, Paul-David ; Jungnickel, Tim ; Rickmann, Christina ; Seidler, Henning ; Stüber, Anke ; Wilhelm-Weidner, Arno ; Peters, Kirstin ; Nestmann, Uwe

Author(s)
Title
Additional Person(s)
Referee(s)
Abstract
Fulltext

Open Access

Refine

Has Fulltext

Author

Year of publication

Document Type

Language

Keywords

Institute

20 search hits