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