S. Sattanathan, N.C. Narendra, et al.
CONTEXT 2005
Paper
An elementary proof of the completeness of PDL
Abstract
We give an elementary proof of the completeness of the Segerberg axions for Propositional Dynamic Logic. © 1981.
Related
Yao Qi, Raja Das, et al.
ISSTA 2009
Conference paper
A quantitative analysis of OS noise
Alessandro Morari, Roberto Gioiosa, et al.
IPDPS 2011
Rajiv Ramaswami, Kumar N. Sivarajan
IEEE/ACM Transactions on Networking