Studying equivalences of transition systems with algebraic tools

Authors:
Pasquale Malacaria
Affiliations:
LIENS-DMI, Paris, France
Venue:
Theoretical Computer Science
Year:
1995

Citing 0
Cited 1

Generalizing simulation to abstract domains

CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory

Quantified Score

Hi-index	5.23

Visualization

Abstract