Semantics for Concurrency without Powerdomains.

Published in: POPL (1987)

Keyphrases

logic programming
real time
semantic information
data flow
learning algorithm
formal semantics
data sets
information retrieval
knowledge base
website
domain knowledge
logic programs
conceptual model
conceptual graphs
operational semantics
logical language