J. W. de Bakker, Joost N. Kok. Comparative Metric Semantics for Concurrent Prolog. Theoretical Computer Science, 75(1&2):14-43, 1990.
@article{BakkerK90, title = {Comparative Metric Semantics for Concurrent Prolog}, author = {J. W. de Bakker and Joost N. Kok}, year = {1990}, tags = {semantics, Prolog}, researchr = {https://researchr.org/publication/BakkerK90}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {75}, number = {1&2}, pages = {14-43}, }