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.

Authors

Mogens Nielsen

This author has not been identified. Look up 'Mogens Nielsen' in Google

Catuscia Palamidessi

This author has not been identified. Look up 'Catuscia Palamidessi' in Google

Frank D. Valencia

This author has not been identified. Look up 'Frank D. Valencia' in Google