Comparative Metric Semantics for Concurrent Prolog

J. Bakker,J. Kok
DOI: https://doi.org/10.1016/0304-3975(90)90060-U
IF: 1.002
1990-09-01
Theoretical Computer Science
Abstract:
What problem does this paper attempt to address?