Generalised Multiparty Session Types with Crash-Stop Failures.

Adam D. Barwell Alceste Scalas Nobuko Yoshida Fangyi Zhou

Published in: CONCUR (2022)

Keyphrases

multi party
privacy preserving
artificial intelligence
description language
human communication
dynamic programming
audio video