Fair Termination of Multiparty Sessions.

Luca Ciccone Francesco Dagnino Luca Padovani

Published in: ECOOP (2022)

Keyphrases

multi party
privacy preserving
secret sharing
description language
turn taking
general purpose
mental states
active rules
rewrite systems
term rewriting
artificial intelligence
natural language
audio video