DMCA

Modelling Concurrency with Partial Orders (1986)

by Vaughan Pratt
Citations:260 - 17 self