A calculus of transition systems (towards universal co-algebra (1995)

by J Rutten
Venue:Modal Logic and Process Algebra, A Bisimulation Perspective, CSLI Lecture Notes (53