Structured Transition Systems as Lax Coalgebras

Andrea Corradini, Martin Große-Rhode, Reiko Heckel. Structured Transition Systems as Lax Coalgebras. Electronic Notes in Theoretical Computer Science, 11:22-41, 1998. [doi]

Abstract

Abstract is missing.