Semantics of Nondeterminism, Concurrency, and Communication.
Nissim FrancezC. A. R. HoareDaniel J. LehmannWillem P. de RoeverPublished in: J. Comput. Syst. Sci. (1979)
Keyphrases
- formal semantics
- concurrent programming
- communication protocol
- speech acts
- logic programming
- database systems
- agent communication
- communication systems
- concurrency control
- communication overhead
- information sharing
- semantic information
- communication channels
- communication technologies
- transaction processing
- data acquisition
- operational semantics
- multi agent
- metadata