Monitoring Blackbox Implementations of Multiparty Session Protocols.

Bas van den Heuvel Jorge A. Pérez Rares A. Dobre

Published in: RV (2023)

Keyphrases

multi party
privacy preserving
monitoring system
mental states
real time
description language
secret sharing
audio video
case study
orders of magnitude
multi agent systems
software engineering
human communication
turn taking