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.