Engberg, U. Partial Orders and Fully Abstract Models for Concurrency. DPB 1990, 19.