Zohir Bouzid, Eli Gafni, Petr Kuznetsov. Strong Equivalence Relations for Iterated Models. In Marcos K. Aguilera, Leonardo Querzoni, Marc Shapiro, editors, Principles of Distributed Systems - 18th International Conference, OPODIS 2014, Cortina d'Ampezzo, Italy, December 16-19, 2014. Proceedings. Volume 8878 of Lecture Notes in Computer Science, pages 139-154, Springer, 2014. [doi]