Login / Signup
Corrigenda: Cooperating Proofs for Distributed Programs with Multiparty Interactions.
Nissim Francez
Published in:
Inf. Process. Lett. (1990)
Keyphrases
</>
multi party
turn taking
privacy preserving
cooperative
trust relationships
distributed systems
distributed environment
computer programs
human communication
audio video
description language
secret sharing
theorem prover
multi agent