1990
Fully abstract denotational models for nonuniform concurrent languages
Publication
Publication
Additional Metadata | |
---|---|
CWI | |
Department of Computer Science [CS] ; CS-R 9027 | |
Organisation | Computational models |
Horita, E., de Bakker, J., & Rutten, J. (1990). Fully abstract denotational models for nonuniform concurrent languages. Department of Computer Science [CS]. CWI. |