On the relationship between time and interleaving. Unpublished draft, Sophia-Antipolis (1980)

by M Hennessy