M. Alpuente, Gallardo, M. M., Pimentel, E., and Villanueva, A.,
“An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source Transformation”,
Electronic Notes in Theoretical Computer Science, vol. 206, pp. 3–21, 2008.
M. Alpuente, Gallardo, M. M., Pimentel, E., and Villanueva, A.,
“Abstract Model Checking of tccp programs”,
Electronic Notes in Theoretical Computer Science (ENTCS), vol. 112, pp. 19–36, 2004.
M. Alpuente, Gallardo, M. M., Pimentel, E., and Villanueva, A.,
“A Real-Time Logic for tccp verification”,
Journal of Universal Computer Science, vol. 12, pp. 1551–1573, 2006.
M. Alpuente, Gallardo, M. M., Pimentel, E., and Villanueva, A.,
“A Semantic Framework for the Abstract Model Checking of tccp programs”,
{Theoretical Computer Science}, vol. 346, pp. 58–95, 2005.