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