A theory of parallel threads in process models (1995)

by Pablo Straub, Carlos Hurtado L
Venue:Computer Science Dept., Catholic Univ. of Chile