Compile-time analysis of communicating processes.

Peter B. Ladkin, Barbara Simons

Browse the full ICS paper archive.