"A formal analysis of the global sequence protocol" (2016) Melgratti, H.; Roldán, C.; Lafuente A.L.; Proenca J. 18th IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2016 and Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016. 9686:175-191