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