On Logical and Concurrent Equivalences

Julian C. Bradfield, Sibylle B. Fröschle. On Logical and Concurrent Equivalences. Electronic Notes in Theoretical Computer Science, 52(1):32-45, 2001. [doi]

Abstract

Abstract is missing.