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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.