Modeling Concurrency with Partial Orders,” Int (1986)

by V R Pratt
Venue:J. of Parallel Programming