Formal Semantics, Compilation and Execution of the GALS Programming Language DSystemJ

Avinash Malik, Alain Girault, Zoran Salcic. Formal Semantics, Compilation and Execution of the GALS Programming Language DSystemJ. IEEE Trans. Parallel Distrib. Syst., 23(7):1240-1254, 2012. [doi]

Authors

Avinash Malik

This author has not been identified. Look up 'Avinash Malik' in Google

Alain Girault

This author has not been identified. Look up 'Alain Girault' in Google

Zoran Salcic

This author has not been identified. Look up 'Zoran Salcic' in Google