%0 Journal Article 
%F malik11b
%A Malik, Avinash
%A Girault, Alain
%A Salcic, Zoran
%T Formal Semantics, Compilation and Execution of the {GALS} Programming Language {DSystemJ}
%J IEEE Trans.\ Parallel and Distributed Systems
%D 2012