Sven-Olof Nyström, Bengt Jonsson
Indeterminate Concurrent Constraint Programming: A Fixpoint Semantics for Non-Terminating Computations
ICLP, 1993.
@inproceedings{ILPS-1993-NystromJ,
author = "Sven-Olof Nyström and Bengt Jonsson",
booktitle = "{Proceedings of the International Symposium on Logic Programming}",
isbn = "0-262-63152-0",
pages = "335--352",
publisher = "{MIT Press}",
title = "{Indeterminate Concurrent Constraint Programming: A Fixpoint Semantics for Non-Terminating Computations}",
year = 1993,
}











