Mira Balaban;Colette Samoun
-;-
Temporal concurrent constraint programming: denotation, logic and applications
Nordic Journal of Computing