Yet another process logic - Rice CS

Download PDF
0 downloads 0 Views 630KB Size Report
Comment
Dec 17, 2007 - Bell Laboratories. ABSTRACT. We present a process logic that differs from the one introduced by Harel,. Kozen and Parikh in several ways.