"Concurrency versus interleaving: an instructuve example."

Luca Castellano, Giorgio De Michelis, Lucia Pomello (1987)
a service of Schloss Dagstuhl - Leibniz Center for Informatics