Observational Equivalence for Multiparty Sessions.

Paula Severi Mariangiola Dezani-Ciancaglini

Published in: Fundam. Informaticae (2019)

Keyphrases

multi party
privacy preserving
human communication
turn taking
secret sharing
mental states
e learning
multi agent
search sessions