A Security Proof System for Parallel Programmes 41 Apt (K.R.), "Formal Justification of a Proof System for Communicating Sequential Processes", in Journal of the ACM, volume 30 (1), January 1983, pages 197-216. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
A Security Proof System for Networks of Communicating Processes - Banatre, Bryce (1993) Self-citation (Proof) (Correct)
No context found.
A Security Proof System for Parallel Programmes 41 Apt (K.R.), "Formal Justification of a Proof System for Communicating Sequential Processes", in Journal of the ACM, volume 30 (1), January 1983, pages 197-216.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC