Kirstin Peters
Identifiers
- name variant Kirstin Peters 0.60 · backfill
Papers (14)
- Proceedings 17th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software cs.PL · 2026 · author #1
- On the Distributability of Mobile Ambients (Technical Report) cs.LO · 2018 · author #1
- Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics cs.LO · 2017 · author #1
- Proceedings Combined 23rd International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics cs.LO · 2016 · author #2
- Session Types for Link Failures (Technical Report) cs.LO · 2016 · author #2
- Encoding CSP into CCS cs.LO · 2015 · author #3
- Analysing and Comparing Encodability Criteria cs.LO · 2015 · author #1
- Encoding CSP into CCS (Extended Version) cs.LO · 2015 · author #3
- Dynamic Causality in Event Structures (Technical Report) cs.LO · 2015 · author #3
- Matching in the Pi-Calculus (Technical Report) cs.LO · 2014 · author #1
- Is it a "Good" Encoding of Mixed Choice? (Technical Report) cs.LO · 2012 · author #1
- Synchrony vs Causality in the Asynchronous Pi-Calculus cs.LO · 2011 · author #1
- Breaking Symmetries cs.LO · 2010 · author #1
- Breaking Symmetries cs.LO · 2010 · author #1
Mentions
- 1508.06712 #3 · backfill · confidence 0.70 Kirstin Peters
- 1508.06711 #1 · backfill · confidence 0.70 Kirstin Peters
- 1508.01127 #3 · backfill · confidence 0.70 Kirstin Peters
- 1504.00512 #3 · backfill · confidence 0.70 Kirstin Peters
- 1407.6406 #1 · backfill · confidence 0.70 Kirstin Peters
- 1201.1410 #1 · backfill · confidence 0.70 Kirstin Peters
- 1108.4469 #1 · backfill · confidence 0.70 Kirstin Peters
- 1011.6437 #1 · backfill · confidence 0.70 Kirstin Peters
- 1007.4172 #1 · backfill · confidence 0.70 Kirstin Peters
Frequent Coauthors
- Uwe Nestmann 10 shared papers
- Christoph Wagner 2 shared papers
- Meike Hatzel 2 shared papers
- Daniel Gebler 1 shared papers
- David Karcher 1 shared papers
- Jens-Wolfhard Schicke 1 shared papers
- Lorenzo Gheri 1 shared papers
- Manuel Adameit 1 shared papers
- Rob van Glabbeek 1 shared papers
- Simone Tini 1 shared papers
- Tsvetelina Yonova-Karbe 1 shared papers
- Youssef Arbach 1 shared papers