A GALS language for dynamic distributed and reactive programsAvinash MalikAlain Giraultet al.2011ACSD 2011
Formal semantics, compilation and execution of the GALS programming language dSystemJAvinash MalikAlain Giraultet al.2012IEEE TPDS