Taming Concurrency for Verification Using Multiparty Session Types.

Kirstin Peters Christoph Wagner Uwe Nestmann

Published in: ICTAC (2019)

Keyphrases

multi party
privacy preserving
database systems
human computer interaction
concurrency control
mental states
human communication
reinforcement learning
multi agent systems
search space
orders of magnitude
formal verification
secret sharing
verification method