A Weakest Precondition Semantics for Communicating Processes.

Tzilla Elrad Nissim Francez

Published in: Theor. Comput. Sci. (1984)

Keyphrases

communication channels
formal semantics
logic programming
conceptual model
semantic information
semantic representation
dynamic aspects
real time
databases
artificial intelligence
decision making
information technology
process model
schema mappings
operational semantics
intended meaning