Reversible Multiparty Sessions with Checkpoints.

Mariangiola Dezani-Ciancaglini Paola Giannini

Published in: EXPRESS/SOS (2016)

Keyphrases

multi party
privacy preserving
cellular automata
markov chain
secret sharing
mental states
human communication
turn taking
description language
search space
collaborative learning
orders of magnitude
user behavior
audio video