Complete Multiparty Session Type Projection with Automata.

Elaine Li Felix Stutz Thomas Wies Damien Zufferey

Published in: CoRR (2023)

Keyphrases

multi party
privacy preserving
description language
artificial intelligence
cellular automata
finite state
secret sharing