Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Kirstin Peters
conf.researchr.org general profile
POPL 2019 profile
SPLASH 2023 profile
Not registered as user
Name:
Kirstin Peters
Affiliation:
TU Berlin
Contributions
2019
BEAT
Author of Invited Talk: Session Types for Fault-Tolerant Distributed Algorithms within the BEAT 2019-track
OPCT
Author of Taming Concurrency for Verification using Multiparty Session Types within the OPCT 2019-track
Share
x
Sat 21 Dec 19:30