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…