The Power of the Future Perfect in Program Logics

Matthew Hennessy, Colin Stirling. The Power of the Future Perfect in Program Logics. In Michal Chytil, Václav Koubek, editors, Mathematical Foundations of Computer Science 1984, Praha, Czechoslovakia, September 3-7, 1984, Proceedings. Volume 176 of Lecture Notes in Computer Science, pages 301-311, Springer, 1984.

Abstract

Abstract is missing.