Semantic Reduction of Thread Interleavings in Concurrent Programs.

Vineet Kahlon Sriram Sankaranarayanan Aarti Gupta

Published in: TACAS (2009)

Keyphrases

concurrent programs
process algebra
concurrent programming
information systems
database
databases
machine learning
high level
user interface
source code