María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva. An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source Transformation. Electronic Notes in Theoretical Computer Science, 206:3-21, 2008. [doi]
Abstract is missing.