You are here

Publications

Export 4 results:
Filters: Author is Lescaylle, A.  [Clear All Filters]
2007
A. Lescaylle and Villanueva, A., Using tccp for the Specification and Verification of Communication Protocols, Proceedings of the 16th International Workshop on Funcional and (Constraint) Logic Programming (WFLP'07). Paris (France), pp. 169–183, 2007.
A. Lescaylle and Villanueva, A., Using tccp for the Specification of Communication Protocols, Actas de las VII Jornadas de Programación y Lenguajes (PROLE'07). Zaragoza (Spain), pp. 301–310, 2007.
2009
A. Lescaylle and Villanueva, A., The tccp Interpreter, Electronic Notes in Theoretical Computer Science, vol. 258, pp. 63–77, 2009.
A. Lescaylle and Villanueva, A., A Tool for Generating a Symbolic Representation of tccp Executions, Electronic Notes in Theoretical Computer Science, vol. 246, pp. 131–145, 2009.