Graph Models for Reachability of Concurrent Programs.

Mauro Pezzè Richard N. Taylor Michal Young

Published in: ACM Trans. Softw. Eng. Methodol. (1995)

Keyphrases

concurrent programs
process algebra
concurrent programming
state space
web applications
formal specification
real time
model checking
database
general purpose
software development
communication protocols
concurrent processes