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