Showing 1 - 2 results of 2 for search 'Kirstin Peters', query time: 0.02s
Refine Results
-
1
FTMPST: Fault-Tolerant Multiparty Session Types by Kirstin Peters, Uwe Nestmann, Christoph Wagner
Published 2023-11-01
Article -
2
Dynamic Causality in Event Structures by Youssef Arbach, David S. Karcher, Kirstin Peters, Uwe Nestmann
Published 2018-02-01
Article