Comini, Marco; Titolo, Laura; Villanueva García, Alicia(Cambridge University Press, 2011)
The timed concurrent constraint language (tccp in short) is a concurrent logic language based on the simple but powerful concurrent constraint paradigm of Saraswat. In this paradigm, the notion of store-as-value is replaced ...