Kleene's logic with equality

Authors:
Flemming Nielson;Hanne Riis Nielson;Mooly Sagiv
Affiliations:
-;-;-
Venue:
Information Processing Letters
Year:
2001

Citing 0
Cited 3

Modal Abstractions of Concurrent Behaviour

SAS '08 Proceedings of the 15th international symposium on Static Analysis
Modal abstractions of concurrent behavior

ACM Transactions on Computational Logic (TOCL)
Topology-dependent abstractions of broadcast networks

CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory

Quantified Score

Hi-index	0.89

Visualization

Abstract