Timed runtime monitoring for multiparty conversations.

Rumyana Neykova Laura Bocchi Nobuko Yoshida

Published in: Formal Aspects Comput. (2017)

Keyphrases

multi party
privacy preserving
monitoring system
human communication
petri net
description language
real time
secret sharing
audio video
turn taking
web services
cooperative
search algorithm
search space
object oriented