 |
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
Abstract:
Available: bibtex entry
Michael Codish
The Department of Computer Science
Ben-Gurion University of the Negev
PoB 653, Beer-Sheva, 84105, Israel
mcodish@cs.bgu.ac.il