GSOS and Finite Labelled Transition Systems

Luca Aceto. GSOS and Finite Labelled Transition Systems. Theoretical Computer Science, 131(1):181-195, 1994.

Abstract

Abstract is missing.