34 citations · 119 across the 18 of their papers we have counts for
Showing 2006Show all
2 papers · 1 filter
cs.DC2006★ 7 cited
Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation
Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux
The actor model eases the definition of concurrent programs with non uniform behaviors. Static analysis of such a model was previously done in a data-flow oriented way, with type s…
cond-mat.mtrl-sci2006
Thermodynamic investigation of an insulator irradiated by a low-energy electron beam
F. Pesty, P. Garoche
The surface of an insulating material irradiated by a beam of low energy electrons charges positively if the yield of secondary electron is greater than unity. For such a dynamical…