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.

Authors

Sven-Olof Nyström

This author has not been identified. Look up 'Sven-Olof Nyström' in Google

Bengt Jonsson

This author has not been identified. Look up 'Bengt Jonsson' in Google