Carlos Olarte. Universal Temporal Concurrent Constraint Programming. (Programmation Concurrent par Contraintes pour Vérifier un Protocole de Sécurité). PhD thesis, École Polytechnique, Palaiseau, France, 2009. [doi]
@phdthesis{hal-4385, title = {Universal Temporal Concurrent Constraint Programming. (Programmation Concurrent par Contraintes pour Vérifier un Protocole de Sécurité)}, author = {Carlos Olarte}, year = {2009}, url = {https://tel.archives-ouvertes.fr/tel-00430446}, researchr = {https://researchr.org/publication/hal-4385}, cites = {0}, citedby = {0}, school = {École Polytechnique, Palaiseau, France}, }