1990
A fully abstract model for concurrent nondeterministic processes based on posets with non-actions
Publication
Publication
Additional Metadata | |
---|---|
CWI | |
Department of Computer Science [CS] ; CS-R 9031 | |
Cherkasova, L. (1990). A fully abstract model for concurrent nondeterministic processes based on posets with non-actions. Department of Computer Science [CS]. CWI. |