Corrigenda: Cooperating Proofs for Distributed Programs with Multiparty Interactions.

Published in: Inf. Process. Lett. (1990)

Keyphrases

multi party
turn taking
privacy preserving
secret sharing
trust relationships
cooperative
computer programs
human communication
distributed systems
description language
audio video
natural language
peer to peer
online learning