A Coalgebraic presentation of structured transition systems

Andrea Corradini, Martin Große-Rhode, Reiko Heckel. A Coalgebraic presentation of structured transition systems. Theoretical Computer Science, 260(1-2):27-55, 2001. [doi]

Abstract

Abstract is missing.