Fair Termination of Multiparty Sessions.

Luca Ciccone Francesco Dagnino Luca Padovani

Published in: CoRR (2022)

Keyphrases

multi party
privacy preserving
secret sharing
human communication
description language
turn taking
term rewriting
rewrite systems
mental states
active rules
multi agent
video streams