Fully Abstract Denotational Semantics for Flat Concurrent Prolog

Rob Gerth, Michael Codish, Yossi Lichtenstein, Ehud Shapiro

Browse the full LICS paper archive.