A Gentle Introduction to Multiparty Asynchronous Session Types.

Mario Coppo Mariangiola Dezani-Ciancaglini Luca Padovani Nobuko Yoshida

Published in: SFM (2015)

Keyphrases

multi party
privacy preserving
databases
human communication
information systems
cooperative
programming language
operating system
learning red hat linux