Multiparty specification.

Anthony Finkelstein Hugo Fuks

Published in: IWSSD (1989)

Keyphrases

multi party
privacy preserving
description language
secret sharing
specification language
mental states
turn taking
human communication
audio video
cooperative
formal specification