Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation

Publication
CoRR

Related