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.

@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},
}