Timed Runtime Monitoring for Multiparty Conversations.

Rumyana Neykova Laura Bocchi Nobuko Yoshida

Published in: BEAT (2014)

Keyphrases

multi party
privacy preserving
petri net
monitoring system
secret sharing
human communication
real time
description language
turn taking