On The Synchronic Structure of Transition Systems. - Luca Bernardinello; Giorgio De Michelis; Katia Petruni; Sebastiano Vigna (STRICT, 1995)