Modeling concurrency with partial orders (1986)

by V Pratt
Venue:International Journal of Parallel Programming