You are here

Using tccp for the Specification of Communication Protocols

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.