Uniform Abstraction, Atomicity and Contractions in the Comparative Semantics of Concurrent Prolog - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

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.

@inproceedings{BakkerK88,
  title = {Uniform Abstraction, Atomicity and Contractions in the Comparative Semantics of Concurrent Prolog},
  author = {J. W. de Bakker and Joost N. Kok},
  year = {1988},
  tags = {semantics, Prolog, abstraction},
  researchr = {https://researchr.org/publication/BakkerK88},
  cites = {0},
  citedby = {0},
  pages = {347-355},
  booktitle = {FGCS},
}

runs on WebDSL