C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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