Publications

2 results for Alain Girault

Formal semantics, compilation and execution of the GALS programming language dSystemJ
- - Avinash Malik
  - Alain Girault
  - et al.
- 2012
- IEEE TPDS
A GALS language for dynamic distributed and reactive programs
- - Avinash Malik
  - Alain Girault
  - et al.
- 2011
- ACSD 2011