Two results on process logic

Authors:
David Harel
Affiliations:
Massachusetts Institute of Technology, Cambridge, MA 02139, U.S.A. and IBM Thomas J. Watson Research Center, Yorktown Heights, NY 10598, U.S.A.
Venue:
Information Processing Letters
Year:
1979

Citing 3
Cited 0

Nondeterminism in logics of programs

POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Semantical consideration on floyo-hoare logic

SFCS '76 Proceedings of the 17th Annual Symposium on Foundations of Computer Science
A decidability result for a second order process logic

SFCS '78 Proceedings of the 19th Annual Symposium on Foundations of Computer Science

Quantified Score

Hi-index	0.89

Visualization

Abstract