Alain Girault, Gregor Gössler, Rachid Guerraoui, Jad Hamza, Dragos-Adrian Seredinschi. Monotonic Prefix Consistency in Distributed Systems. Christel Baier; Luís Caires. 38th International Conference on Formal Techniques for Distributed Objects, Components
HAL Archives-Ouvertes,
Alain Girault, Gregor Gössler, Rachid Guerraoui, Jad Hamza, Dragos-Adrian Seredinschi.