Abstract: We study implementations of basic fault-tolerant primitives, such as consensus and registers, in message-passing systems...

Abstract: In this talk I will present two algorithms to decide the language inclusion problem between Büchi automata. Our approach...