Context-Bounded Analysis of Concurrent Queue Systems.

Salvatore La Torre P. Madhusudan Gennaro Parlato

Published in: TACAS (2008)

Keyphrases

management system
expert systems
intelligent systems
building blocks
distributed systems
context aware
real time
machine learning
multi agent
retrieval systems