Fair termination of multiparty sessions.

Luca Ciccone Francesco Dagnino Luca Padovani

Published in: J. Log. Algebraic Methods Program. (2024)

Keyphrases

multi party
privacy preserving
human communication
turn taking
secret sharing
term rewriting
reinforcement learning
mental states
description language
web services
intelligent systems
software architecture
rewrite systems