Kirstin Peters

55 papers A* 1A 1B 3C 7Journal 26Unranked 14
YearRankTypeTitle / Venue / Authors
2025 C conf
Compositional Interface Refinement Through Subtyping in Probabilistic Session Types.
ICTAC
Paula Blechschmidt, Kirstin Peters, Uwe Nestmann
2025 — conf
Fault-Tolerant Multiparty Session Types with Global Escape Loops.
EXPRESS/SOS
Lukas Bartl, Julian Linne, Kirstin Peters
2024 J jnl
Encodability Criteria for Quantum Based Systems.
Log. Methods Comput. Sci.
Anna Schmitt, Kirstin Peters, Yuxin Deng
2024 J jnl
Mixed choice in session types.
Inf. Comput.
Kirstin Peters, Nobuko Yoshida
2024 J jnl
Separation and Encodability in Mixed Choice Multiparty Sessions (Technical Report).
CoRR
Kirstin Peters, Nobuko Yoshida
2024 A* conf
Separation and Encodability in Mixed Choice Multiparty Sessions.
LICS
Kirstin Peters, Nobuko Yoshida
2024 — conf
Synchronisability in Mailbox Communication.
EXPRESS/SOS
Cinzia Di Giusto, Laetitia Laversa, Kirstin Peters
2024 — conf
Towards a Formal Testing Theory for Quantum Processes.
ISoLA (1)
Mohammad Reza Mousavi, Kirstin Peters, Anna Schmitt
2023 J jnl
FTMPST: Fault-Tolerant Multiparty Session Types.
Log. Methods Comput. Sci.
Kirstin Peters, Uwe Nestmann, Christoph Wagner
2023 J jnl
Probabilistic Operational Correspondence (Technical Report).
CoRR
Anna Schmitt, Kirstin Peters
2023 B conf
Probabilistic Operational Correspondence.
CONCUR
Anna Schmitt, Kirstin Peters
2022 J jnl
Encodability Criteria for Quantum Based Systems (Technical Report).
CoRR
Anna Schmitt, Kirstin Peters, Yuxin Deng
2022 C conf
Encodability Criteria for Quantum Based Systems.
FORTE
Anna Schmitt, Kirstin Peters, Yuxin Deng
2022 J jnl
Fault-Tolerant Multiparty Session Types (Technical Report).
CoRR
Kirstin Peters, Uwe Nestmann, Christoph Wagner
2022 C conf
Fault-Tolerant Multiparty Session Types.
FORTE
Kirstin Peters, Uwe Nestmann, Christoph Wagner
2022 J jnl
On distributability.
Theor. Comput. Sci.
Kirstin Peters, Uwe Nestmann, Anna Schmitt
2022 J jnl
On the Expressiveness of Mixed Choice Sessions (Technical Report).
CoRR
Kirstin Peters, Nobuko Yoshida
2022 — conf
On the Expressiveness of Mixed Choice Sessions.
EXPRESS/SOS
Kirstin Peters, Nobuko Yoshida
2021 C ed.
Formal Techniques for Distributed Objects, Components, and Systems - 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings
FORTE
Kirstin Peters, Tim A. C. Willemse
2020 J jnl
Coupled similarity: the first 32 years.
Acta Informatica
Benjamin Bisping, Uwe Nestmann, Kirstin Peters
2020 J jnl
Distributability of mobile ambients.
Inf. Comput.
Kirstin Peters, Uwe Nestmann
2020 J jnl
Preface to special issue: EXPRESS/SOS 2016 + 2017.
Acta Informatica
Kirstin Peters, Simone Tini
2019 — conf
Comparing Process Calculi Using Encodings.
EXPRESS/SOS
Kirstin Peters
2019 J jnl
Taming Concurrency for Verification Using Multiparty Session Types (Technical Report).
CoRR
Kirstin Peters, Christoph Wagner, Uwe Nestmann
2019 C conf
Taming Concurrency for Verification Using Multiparty Session Types.
ICTAC
Kirstin Peters, Christoph Wagner, Uwe Nestmann
2018 J jnl
Dynamic Causality in Event Structures.
CoRR
Youssef Arbach, David S. Karcher, Kirstin Peters, Uwe Nestmann
2018 J jnl
Dynamic Causality in Event Structures.
Log. Methods Comput. Sci.
Youssef Arbach, David S. Karcher, Kirstin Peters, Uwe Nestmann
2018 J jnl
On the Distributability of Mobile Ambients (Technical Report).
CoRR
Kirstin Peters, Uwe Nestmann
2018 — conf
On the Distributability of Mobile Ambients.
EXPRESS/SOS
Kirstin Peters, Uwe Nestmann
2017 — ed.
Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics, EXPRESS/SOS 2017, Berlin, Germany, 4th September 2017.
EXPRESS/SOS
Kirstin Peters, Simone Tini
2017 C conf
Session Types for Link Failures.
FORTE
Manuel Adameit, Kirstin Peters, Uwe Nestmann
2016 J jnl
A Constructive Proof for FLP.
Arch. Formal Proofs
Benjamin Bisping, Paul-David Brodmann, Tim Jungnickel, Christina Rickmann, Henning Seidler, Anke Stüber, Arno Wilhelm-Weidner, Kirstin Peters, Uwe Nestmann
2016 J jnl
Breaking symmetries.
Math. Struct. Comput. Sci.
Kirstin Peters, Uwe Nestmann
2016 B conf
Mechanical Verification of a Constructive Proof for FLP.
ITP
Benjamin Bisping, Paul-David Brodmann, Tim Jungnickel, Christina Rickmann, Henning Seidler, Anke Stüber, Arno Wilhelm-Weidner, Kirstin Peters, Uwe Nestmann
2016 — ed.
Proceedings Combined 23rd International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics, EXPRESS/SOS 2016, Québec City, Canada, 22nd August 2016.
EXPRESS/SOS
Daniel Gebler, Kirstin Peters
2016 J jnl
Session Types for Link Failures (Technical Report).
CoRR
Manuel Adameit, Kirstin Peters, Uwe Nestmann
2016 J jnl
Synchrony versus causality in distributed systems.
Math. Struct. Comput. Sci.
Kirstin Peters, Jens-Wolfhard Schicke-Uffmann, Ursula Goltz, Uwe Nestmann
2015 J jnl
Analysing and Comparing Encodability Criteria for Process Calculi.
Arch. Formal Proofs
Kirstin Peters, Rob J. van Glabbeek
2015 — conf
Analysing and Comparing Encodability Criteria.
EXPRESS/SOS
Kirstin Peters, Rob J. van Glabbeek
2015 J jnl
Dynamic Causality in Event Structures (Technical Report).
CoRR
Youssef Arbach, David Karcher, Kirstin Peters, Uwe Nestmann
2015 C conf
Dynamic Causality in Event Structures.
FORTE
Youssef Arbach, David Karcher, Kirstin Peters, Uwe Nestmann
2015 J jnl
Encoding CSP into CCS (Extended Version).
CoRR
Meike Hatzel, Christoph Wagner, Kirstin Peters, Uwe Nestmann
2015 — conf
Encoding CSP into CCS.
EXPRESS/SOS
Meike Hatzel, Christoph Wagner, Kirstin Peters, Uwe Nestmann
2014 J jnl
Matching in the Pi-Calculus (Technical Report).
CoRR
Kirstin Peters, Tsvetelina Yonova-Karbe, Uwe Nestmann
2014 — conf
Matching in the Pi-Calculus.
EXPRESS/SOS
Kirstin Peters, Tsvetelina Yonova-Karbe, Uwe Nestmann
2013 — conf
Adding Priority to Event Structures.
EXPRESS/SOS
Youssef Arbach, Kirstin Peters, Uwe Nestmann
2013 A conf
On Distributability in Process Calculi.
ESOP
Kirstin Peters, Uwe Nestmann, Ursula Goltz
2012 B conf
Is It a "Good" Encoding of Mixed Choice?
FoSSaCS
Kirstin Peters, Uwe Nestmann
2012 J jnl
Is it a "Good" Encoding of Mixed Choice? (Technical Report)
CoRR
Kirstin Peters, Uwe Nestmann
2012 — —
Translational Expressiveness. Comparing Process Calculi using Encodings.
Kirstin Peters
2011 — conf
Synchrony vs Causality in the Asynchronous Pi-Calculus
EXPRESS
Kirstin Peters, Jens-Wolfhard Schicke, Uwe Nestmann
2011 — conf
Synchrony vs. Causality in Asynchronous Petri Nets
EXPRESS
Jens-Wolfhard Schicke, Kirstin Peters, Ursula Goltz
2010 J jnl
Breaking Symmetries
CoRR
Kirstin Peters, Uwe Nestmann
2010 — conf
Breaking Symmetries
EXPRESS
Kirstin Peters, Uwe Nestmann
2008 — conf
Selbstlernende Suchmaschine als zentraler Informationszugang bei heterogener Informationslandschaft.
GI Jahrestagung (1)
Julian Bahrs, Benedikt Meuthrath, Kirstin Peters