Generalised Multiparty Session Types with Crash-Stop Failures (Technical Report).

Adam D. Barwell Alceste Scalas Nobuko Yoshida Fangyi Zhou

Published in: CoRR (2022)

Keyphrases

multi party
technical report
privacy preserving
secret sharing
root cause
case study
computational intelligence