More on looping vs. repeating in dynamic logic

Authors:
David Harel;David Peleg
Affiliations:
The Weizmann Institute of Science, Rehovot, Israel;The Weizmann Institute of Science, Rehovot, Israel
Venue:
Information Processing Letters
Year:
1985

Citing 0
Cited 4

Concurrent dynamic logic

Journal of the ACM (JACM)
From Church and Prior to PSL

25 Years of Model Checking
From Philosophical to Industrial Logics

ICLA '09 Proceedings of the 3rd Indian Conference on Logic and Its Applications
From monadic logic to PSL

Pillars of computer science

Quantified Score

Hi-index	0.89

Visualization

Abstract