"Temporal Concurrent Constraint Programming: Denotation, Logic and ..."

Mogens Nielsen, Catuscia Palamidessi, Frank D. Valencia (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics