Taming Concurrency for Verification Using Multiparty Session Types.

Kirstin Peters, Christoph Wagner, Uwe Nestmann

Browse the full ICTAC paper archive.