Operational Semantics and a Distributed Implementation of CSP.

Gerlinde Schreiber

Published in: MFPS (1987)

Keyphrases

operational semantics
constraint satisfaction problems
formal semantics
distributed systems
constraint satisfaction
databases
multi agent
cooperative
model theoretic
denotational semantics
database
data model
agent communication language