Alessandro Sebastian Podda, and Livio Pompianu Security Type Checking Privacy Policies in the ?-calculus, 181 Dimitrios Kouzapas and Anna Philippou Extending Testing Automata to All ,
Efficient Verification Techniques Simple Isolation for an Actor Abstract Machine, p.213 ,
Sliced Path Prefixes: An Effective Method to Enable Refinement Selection, p.228 ,