Login / Signup
A Symbolic Semantics and Bisimulation for Full LOTOS.
Muffy Calder
Carron Shankland
Published in:
FORTE (2001)
Keyphrases
</>
formal semantics
semantic information
logic programming
symbolic representation
data sets
artificial intelligence
high level
database systems
expert systems
constraint propagation
speech acts
connectionist models