, ,
elsevier
Theoretical Computer Science
International Conference on Logic Programming
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.