Proofs of networks of processes

Download PDF
12 downloads 841 Views 2MB Size Report
Comment
The authors are with the Department of Computer Sciences, Uni- versity of Texas, Austin, ...... A process is an independent entity much like a procedure .... of Texas, Austin, and a Consultant for Information Research Associates,. [1] K. R. Apt, N.