Christine Choppy, Anna Dedova, Sami Evangelista, Silien Hong, Kais Klai, Laure Petrucci. The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification. In Johan Lilius, Wojciech Penczek, editors, Applications and Theory of Petri Nets, 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings. Volume 6128 of Lecture Notes in Computer Science, pages 145-164, Springer, 2010. [doi]
Abstract is missing.