Login / Signup
A New Approach to Deterministic Execution Testing for Concurrent Programs.
In Sang Chung
Byeong Man Kim
Hyeon Soo Kim
Published in:
ICDCS Workshop on Distributed System Validation and Verification (2000)
Keyphrases
</>
concurrent programs
concurrent processes
concurrent programming
process algebra
web applications
petri net
information systems
databases
object oriented
general purpose
programming language
building blocks
reverse engineering