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.

Authors

Joost N. Kok

This author has not been identified. Look up 'Joost N. Kok' in Google