Abstracting synchronous languages by source-to-source transformation

Alpuente Frasnedo María, Villanueva García Alicia

2007

Electronic Notes in Theoretical Computer Science