Completeness of Bisimilarity for Contextual Equivalence in Linear Theories

Roy L. Crole. Completeness of Bisimilarity for Contextual Equivalence in Linear Theories. Logic Journal of the IGPL, 9(1):27-51, 2001. [doi]

Abstract

Abstract is missing.