pith. sign in

Kirstin Peters

Identifiers

  • name variant Kirstin Peters 0.60 · backfill

Papers (14)

  1. Proceedings 17th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software cs.PL · 2026 · author #1
  2. On the Distributability of Mobile Ambients (Technical Report) cs.LO · 2018 · author #1
  3. Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics cs.LO · 2017 · author #1
  4. Proceedings Combined 23rd International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics cs.LO · 2016 · author #2
  5. Session Types for Link Failures (Technical Report) cs.LO · 2016 · author #2
  6. Encoding CSP into CCS cs.LO · 2015 · author #3
  7. Analysing and Comparing Encodability Criteria cs.LO · 2015 · author #1
  8. Encoding CSP into CCS (Extended Version) cs.LO · 2015 · author #3
  9. Dynamic Causality in Event Structures (Technical Report) cs.LO · 2015 · author #3
  10. Matching in the Pi-Calculus (Technical Report) cs.LO · 2014 · author #1
  11. Is it a "Good" Encoding of Mixed Choice? (Technical Report) cs.LO · 2012 · author #1
  12. Synchrony vs Causality in the Asynchronous Pi-Calculus cs.LO · 2011 · author #1
  13. Breaking Symmetries cs.LO · 2010 · author #1
  14. 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