Petr Kůrka
Charles Univ., Praha, Czech Republic
Abstract compositional analysis of iterated relations: a structural approach to complex state transition systems