Sign in
Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions.
Mario Coppo
Mariangiola Dezani-Ciancaglini
Luca Padovani
Nobuko Yoshida
Published in:
COORDINATION (2013)
Keyphrases
</>
multi party
privacy preserving
bayesian networks
bayesian inference
human communication
dynamic programming
state space
secret sharing