Pedro Yuri Arbs Paiva, Osamu Saotome, Christof Brandauer. Specification and Verification of a Multi-agent Coordination Protocol with TLA+. In VIII Brazilian Symposium on Computing Systems Engineering, SBESC 2018, Salvador, Brazil, November 5-8, 2018. pages 207-212, IEEE, 2018. [doi]
Abstract is missing.