A Compositional Semantics for Concurrent Prolog

Joost N. Kok. A Compositional Semantics for Concurrent Prolog. In Robert Cori, Martin Wirsing, editors, STACS 88, 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13, 1988, Proceedings. Volume 294 of Lecture Notes in Computer Science, pages 373-388, Springer, 1988.

Abstract

Abstract is missing.