Modellin Concurrenct with Partial Orders (1986)

by Vaughan Pratt
Venue:Int. J. of Parallel Programming