Eric Goles
Univ. de Chile, Santiago, Chile
Abstract compositional analysis of iterated relations: a structural approach to complex state transition systems