Modelling Concurrency with Partial Orders (1986)

by V Pratt
Venue:International Journal of Parallel Programming