Complete Visualization of Concurrent Programs and Their Executions.

Kenneth M. Kahn Vijay A. Saraswat

Published in: LPE (1990)

Keyphrases

concurrent programs
database
real time
databases
machine learning
artificial intelligence
general purpose
model checking