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 ...
Romaguera Bonilla, Salvador; Schellekens, M.; Valero Sierra, Óscar(Taylor & Francis Ltd, 2011)
The study of the dual complexity space, introduced by S. Romaguera and M. P. Schellekens [Quasi-metric properties of complexity spaces, Topol. Appl. 98 (1999), pp. 311-322], constitutes a part of the interdisciplinary ...