@article{AGPV08b,
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.},
journal = {Electronic Notes in Theoretical Computer Science},
pages = {3-21},
year = 2008,
volume = 206
}