Login / Signup
Taming Concurrency for Verification Using Multiparty Session Types (Technical Report).
Kirstin Peters
Christoph Wagner
Uwe Nestmann
Published in:
CoRR (2019)
Keyphrases
</>
multi party
technical report
privacy preserving
turn taking
model checking
mental states
description language
audio video
open source
domain specific
distributed systems
human communication
verification method