Reasoning About Threads Communicating via Locks.

Vineet Kahlon Franjo Ivancic Aarti Gupta

Published in: CAV (2005)

Keyphrases

concurrency control
spatial reasoning
communication channels
qualitative reasoning
multi threaded
real time
neural network
genetic algorithm
knowledge base
three dimensional
multi agent
probabilistic knowledge
practical reasoning