22 citations · 96 across the 27 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LO2019★ 9 cited
Comparing Process Calculi Using Encodings
Kirstin Peters
Encodings or the proof of their absence are the main way to compare process calculi. To analyse the quality of encodings and to rule out trivial or meaningless encodings, they are…
cs.LO2019
Taming Concurrency for Verification Using Multiparty Session Types (Technical Report)
Kirstin Peters, Christoph Wagner, Uwe Nestmann
The additional complexity caused by concurrently communicating processes in distributed systems render the verification of such systems into a very hard problem. Multiparty session…