6 Novembro 2017, 16:30 • Alysson Neves Bessani
Protocols for coordinated checkpoint and their properties.