1991
Semantic models for concurrent logic languages
Publication
Publication
Theoretical Computer Science , Volume 86 - Issue 1 p. 3- 33
Presented at the
International Conference on Logic Programming, Lisbon
| Additional Metadata | |
|---|---|
| , , | |
| elsevier | |
| Theoretical Computer Science | |
| International Conference on Logic Programming | |
| Organisation | Computer Security |
|
de Boer, F., Rutten, J., Kok, J.& Palamidessi, C. (1991). Semantic models for concurrent logic languages. Theoretical Computer Science, 86(1), 3–33. |
|