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]
@article{MalikGS12,
title = {Formal Semantics, Compilation and Execution of the GALS Programming Language DSystemJ},
author = {Avinash Malik and Alain Girault and Zoran Salcic},
year = {2012},
doi = {10.1109/TPDS.2011.258},
url = {http://doi.ieeecomputersociety.org/10.1109/TPDS.2011.258},
researchr = {https://researchr.org/publication/MalikGS12},
cites = {0},
citedby = {0},
journal = {IEEE Trans. Parallel Distrib. Syst.},
volume = {23},
number = {7},
pages = {1240-1254},
}