Uniform Abstraction, Atomicity and Contractions in the Comparative Semantics of Concurrent Prolog

J. W. de Bakker, Joost N. Kok. Uniform Abstraction, Atomicity and Contractions in the Comparative Semantics of Concurrent Prolog. In FGCS. pages 347-355, 1988.

Abstract

Abstract is missing.