Static analysis of an actor-based process calculus by abstract interpretation

Pierre-Loic Garoche
June 2008
Cite
Type
Thesis