Cooperating Proofs for Distributed Programs with Multiparty Interactions.

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

Keyphrases

multi party
turn taking
privacy preserving
trust relationships
secret sharing
cooperative
computer programs
human communication
distributed systems
mental states
distributed environment
theorem proving
description language
software engineering
theorem prover