Partial Order Semantics of Concurrent Programs (Abstract).

Eike Best Partial Order Semantics of Concurrent Programs (Abstract). 1 1990 conf/concur/1990 CONCUR db/conf/concur/concur1990.html#Best90 https://doi.org/10.1007/BFb0039046