A Debugger for Concurrent Programs.

Published in: Softw. Pract. Exp. (1985)

Keyphrases

concurrent programs
concurrent programming
programming language
process algebra
programming environment
primitive operations
concurrent processes
web applications
concurrent systems
general purpose
model checking
database
relational databases
formal specification
formal methods