11 citations · 26 across the 10 of their papers we have counts for
5 papers · 1 filter
FTMPST: Fault-Tolerant Multiparty Session Types
Kirstin Peters, Uwe Nestmann, Christoph Wagner
Multiparty session types are designed to abstractly capture the structure of communication protocols and verify behavioural properties. One important such property is progress, i.e…
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…
Encoding CSP into CCS
Meike Hatzel, Christoph Wagner, Kirstin Peters +1
We study encodings from CSP into asynchronous CCS with name passing and matching, so in fact, the asynchronous pi-calculus. By doing so, we discuss two different ways to map the mu…
Encoding CSP into CCS (Extended Version)
Meike Hatzel, Christoph Wagner, Kirstin Peters +1
We study encodings from CSP into asynchronous CCS with name passing and matching, so in fact, the asynchronous pi-calculus. By doing so, we discuss two different ways to map the mu…
States in Process Calculi
Christoph Wagner, Uwe Nestmann
Formal reasoning about distributed algorithms (like Consensus) typically requires to analyze global states in a traditional state-based style. This is in contrast to the traditiona…