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. In Department of Computer Science [CS] (R 9027). CWI. |
|