Completeness of Bisimilarity for Contextual Equivalence in Linear Theories

View PDF

Download Links

by Roy L. Crole
Citations:6 - 1 self