M. Bartoletti, T. Cimoli, M. Murgia, and .. , 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

A. Eddine, B. Salem, and .. , Efficient Verification Techniques Simple Isolation for an Actor Abstract Machine, p.213

Q. Benoit-claudel and J. Sabah, Sliced Path Prefixes: An Effective Method to Enable Refinement Selection, p.228