Concurrency versus interleaving: an instructuve example. - Luca Castellano; Giorgio De Michelis; Lucia Pomello (Bull. EATCS, 1987)