@inproceedings{LV07b,
title = {{Using tccp for the Specification of Communication Protocols}},
author = {Lescaylle, A. and Villanueva, A.},
booktitle = {Actas de las VII Jornadas de Programación y Lenguajes (PROLE'07)},
pages = {to appear},
month = sep,
year = 2007,
address = Zaragoza (Spain)
}