Modeling Concurrency with Partial Orders, Internat (1986)

by V Pratt
Venue:J. of Parallel Programming