Indeterminate Concurrent Constraint Programming: A Fixpoint Semantics for Non-Terminating Computations

Sven-Olof Nyström, Bengt Jonsson. Indeterminate Concurrent Constraint Programming: A Fixpoint Semantics for Non-Terminating Computations. In ILPS. pages 335-352, 1993.

@inproceedings{NystromJ93,
  title = {Indeterminate Concurrent Constraint Programming: A Fixpoint Semantics for Non-Terminating Computations},
  author = {Sven-Olof Nyström and Bengt Jonsson},
  year = {1993},
  tags = {semantics, constraints, programming},
  researchr = {https://researchr.org/publication/NystromJ93},
  cites = {0},
  citedby = {0},
  pages = {335-352},
  booktitle = {ILPS},
}