@inproceedings{AGPV07,
title = {{An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source Transformation}},
author = {Alpuente, M. and Gallardo, M.M. and Pimentel, E. 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)
}