Reasoning with Many Processes

A. Prasad Sistla, Steven M. German

Browse the full LICS paper archive.