A fully abstract model for concurrent nondeterministic processes based on posets with non-actions - Cherkasova, Ludmila (1990)