Parosh Abdulla, Mohamed Atig, Stefanos Kaxiras, Carl Leonardsson, Alberto Ros, et al.. Fencing Programs with Self-Invalidation and Self-Downgrade. Elvira Albert; Ivan Lanese. 36th International Conference on Formal Techniques for Distributed Objects, Comp
HAL Archives-Ouvertes,
Parosh Abdulla, Mohamed Atig, Stefanos Kaxiras, Carl Leonardsson, Alberto Ros, et al..