Follow
Kirstin Peters
Kirstin Peters
Universität Augsburg
Verified email at uni-a.de - Homepage
Title
Cited by
Cited by
Year
On distributability in process calculi
K Peters, U Nestmann, U Goltz
Programming Languages and Systems: 22nd European Symposium on Programming …, 2013
422013
Analysing and comparing encodability criteria
K Peters, R van Glabbeek
arXiv preprint arXiv:1508.06711, 2015
322015
Is it a “good” encoding of mixed choice?
K Peters, U Nestmann
Foundations of Software Science and Computational Structures: 15th …, 2012
322012
Dynamic Causality in Event Structures
U Nestmann, K Peters, DS Karcher, Y Arbach
Logical Methods in Computer Science 14, 2018
30*2018
Translational Expressiveness
K Peters
Ph. D. thesis, TU Berlin. Available at http://opus. kobv. de/tuberlin …, 2012
27*2012
Comparing Process Calculi Using Encodings
K Peters
arXiv preprint arXiv:1908.08633, 2019
212019
Session types for link failures
M Adameit, K Peters, U Nestmann
Formal Techniques for Distributed Objects, Components, and Systems: 37th …, 2017
212017
Synchrony vs causality in the asynchronous pi-calculus
K Peters, JW Schicke, U Nestmann
arXiv preprint arXiv:1108.4469, 2011
212011
Breaking symmetries
K Peters, U Nestmann
Mathematical Structures in Computer Science 26 (6), 1054-1106, 2016
192016
Encoding CSP into CCS
M Hatzel, C Wagner, K Peters, U Nestmann
arXiv preprint arXiv:1508.06712, 2015
162015
Coupled similarity: the first 32 years
B Bisping, U Nestmann, K Peters
Acta Informatica 57 (3-5), 439-463, 2020
132020
Fault-tolerant multiparty session types
K Peters, U Nestmann, C Wagner
Formal Techniques for Distributed Objects, Components, and Systems: 42nd …, 2022
92022
Synchrony vs. Causality in Asynchronous Petri Nets
JW Schicke, K Peters, U Goltz
arXiv preprint arXiv:1108.4471, 2011
92011
Synchrony versus causality in distributed systems
K Peters, JW Schicke-Uffmann, U Goltz, U Nestmann
Mathematical Structures in Computer Science 26 (8), 1459-1498, 2016
62016
Mechanical verification of a constructive proof for flp
B Bisping, PD Brodmann, T Jungnickel, C Rickmann, H Seidler, A Stüber, ...
Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy …, 2016
62016
On the Expressiveness of Mixed Choice Sessions
K Peters, N Yoshida
arXiv preprint arXiv:2209.06819, 2022
42022
Distributability of mobile ambients
K Peters, U Nestmann
Information and Computation 275, 104608, 2020
42020
Analysing and Comparing Encodability Criteria for Process Calculi.
K Peters, RJ van Glabbeek
Archive of Formal Proofs 2015, 2015
42015
Selbstlernende Suchmaschine als zentraler Informationszugang bei heterogener Informationslandschaft.
J Bahrs, B Meuthrath, K Peters
GI Jahrestagung (1), 365-371, 2008
42008
Taming concurrency for verification using multiparty session types
K Peters, C Wagner, U Nestmann
Theoretical Aspects of Computing–ICTAC 2019: 16th International Colloquium …, 2019
32019
The system can't perform the operation now. Try again later.
Articles 1–20