Reasoning about Systems with Many Processes.

Steven M. German A. Prasad Sistla

Published in: J. ACM (1992)

Keyphrases

distributed systems
genetic algorithm
case study
real time
web services
image sequences
management system
computer systems
complex systems
reasoning processes