Modelling Concurrency with Partial Orders (1986)

by Vaughan Pratt
Citations:239 - 18 self

Document Versions

Modelling Concurrency with Partial Orders –Vaughan Pratt — 1986
Modeling concurrency with partial orders –Vaughan Pratt — 1986 — International Journal of Parallel Programming