Foundations of timed concurrent constraint programming (1994)

by V A Saraswat, R Jagadeesan, V Gupta
Venue:In LICS