A Logical Characterization of Observation Equivalence

Stephen L. Bloom, Douglas R. Troeger. A Logical Characterization of Observation Equivalence. Theoretical Computer Science, 35:43-53, 1985.

Abstract

Abstract is missing.