Open Maps as a Bridge Between Algebraic Observational Equivalence and Bisimilarity (1997)

Cached

Download Links

by Slawomir Lasota
Citations:3 - 3 self