Gianpiero Cattaneo;Michele Finelli;Luciano Margara
-;-;-
Abstract compositional analysis of iterated relations: a structural approach to complex state transition systems