V.: Foundations of timed concurrent constraint programming (1994)

by V Saraswat, R Jagadeesan, Gupta
Venue:In: Proc. of LICS’94, IEEE CS