Comparative Metric Semantics for Concurrent Prolog

J. W. de Bakker, Joost N. Kok. Comparative Metric Semantics for Concurrent Prolog. Theoretical Computer Science, 75(1&2):14-43, 1990.

Possibly Related Publications

The following publications are possibly variants of this publication: