Fully Abstract Denotational Semantics for Concurrent Prolog

Rob Gerth, Michael Codish, Yossi Lichtenstein and Ehud Shapiro   

Proceedings of the Third Annual Symposium on Logic in Computer Science; 1988


Available:    bibtex entry

Michael Codish
The Department of Computer Science
Ben-Gurion University of the Negev
PoB 653, Beer-Sheva, 84105, Israel

© copyright notice