Comprehensive Multiparty Session Types.

Andi Bejleri Elton Domnori Malte Viering Patrick Eugster Mira Mezini

Published in: CoRR (2019)

Keyphrases

multi party
privacy preserving
secret sharing
real world
search algorithm
mobile robot
mental states
description language