V.Pratt Modeling Concurrency with Partial Orders (1995)

unknown authors
Venue:International Journal of Parallel Programming, Vol 15, No