Syntactic Control of Interference and Concurrent Separation Logic.

Stephen Brookes

Published in: MFPS (2012)

Keyphrases

natural language
control system
logic programming
control method
data sets
control strategy
control theory
defeasible logic
real time
neural network
machine learning
knowledge representation
logic programs
automated reasoning
classical logic