Login / Signup
Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation.
Pierre-Loïc Garoche
Marc Pantel
Xavier Thirioux
Published in:
FMOODS (2006)
Keyphrases
</>
databases
abstract interpretation