Propositional Dynamic Logic of Context-Free Programs

David Harel, Amir Pnueli, Jonathan Stavi. Propositional Dynamic Logic of Context-Free Programs. In 22nd Annual Symposium on Foundations of Computer Science, 28-30 October 1981, Nashville, Tennessee, USA. pages 310-321, IEEE, 1981.

Abstract

Abstract is missing.