The Linear Time - Branching Time Spectrum I

Rob J. van Glabbeek. The Linear Time - Branching Time Spectrum I. In Jan A. Bergstra, Alban Ponse, Scott A. Smolka, editors, Handbook of Process Algebra. pages 3-99, North-Holland / Elsevier, 2001. [doi]

Abstract

Abstract is missing.