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. In Theoretical Computer Science (Vol. 86, pp. 3–33). elsevier. |