A fixpoint theory for non-monotonic parallelism (2003)

by Yifeng Chen
Venue:Theoretical Computer Science