Abstract Compositional Analysis of Iterated Relations

Compositional Analysis of Iterated Relations A Structural Approach to Complex State Transition Systems