A temporal concurrent constraint programming calculus (2001)

by Catuscia Palamidessi, Frank D Valencia
Venue:In CP