Temporal Concurrent Constraint Programming: Denotation, Logic and Applications

Mogens Nielsen, Catuscia Palamidessi, Frank D. Valencia. Temporal Concurrent Constraint Programming: Denotation, Logic and Applications. Nord. J. Comput., 9(1):145-188, 2002.

No reviews for this publication, yet.