Avinash Malik, Alain Girault, Zoran Salcic. Formal Semantics, Compilation and Execution of the GALS Programming Language DSystemJ. IEEE Trans.\ Parallel and Distributed Systems, 2012.
to appear
Alain Girault http://pop-art.inrialpes.fr/people/girault/
@article{malik11b,
Author = {Malik, Avinash and Girault, Alain and Salcic, Zoran},
Title = {Formal Semantics, Compilation and Execution of the {GALS} Programming Language {DSystemJ}},
Journal = {IEEE Trans.\ Parallel and Distributed Systems},
Year = {2012}
}
Get EndNote Reference (.ref)