Is the interesting part of process logic uninteresting? A translation from PL to PDL

Authors:
R Sherman;A Pnueli;D Harel
Affiliations:
The Weizmann Institute of Science, Rehovot, Israel;The Weizmann Institute of Science, Rehovot, Israel;The Weizmann Institute of Science, Rehovot, Israel
Venue:
SIAM Journal on Computing
Year:
1984

Citing 0
Cited 3

Improved upper and lower bounds for modal logics of programs

STOC '85 Proceedings of the seventeenth annual ACM symposium on Theory of computing
More Past Glories

LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Coping With Strong Fairness

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract