Semantics of Nondeterminism, Concurrency and Communication (Extended Abstract).

Nissim Francez C. A. R. Hoare Willem P. de Roever

Published in: MFCS (1978)

Keyphrases

extended abstract
database systems
communication channels
communication overhead
computer networks
formal semantics
information sharing
data acquisition
communication systems
information exchange
speech acts
concurrency control
communication cost
communication protocol
agent communication