@inproceedings{LV07,
title = {{Using tccp for the Specification and Verification of Communication Protocols}},
author = {Lescaylle, A. and Villanueva, A.},
booktitle = {Proceedings of the 16th International Workshop on Funcional and (Constraint) Logic Programming (WFLP'07)},
pages = {to appear},
month = jul,
year = 2007,
address = Paris (France)
}