Modeling concurrency with partial orders (1986)

by V R Pratt
Venue:Int. J. Parallel Program