1990
A fully abstract model for concurrent logic languages
Publication
Publication
Additional Metadata | |
---|---|
CWI | |
Department of Computer Science [CS] ; CS-R 9046 | |
de Boer, F., & Palamidessi, C. (1990). A fully abstract model for concurrent logic languages. Department of Computer Science [CS]. CWI. |