Strong Equivalence Relations for Iterated Models

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]

Abstract

Abstract is missing.