Software Seminar Series (S3)
Tuesday, June 13, 2023
Alejandro Naser Pastoriza, PhD Student, IMDEA Software InstituteFault-tolerant computing with unreliable channels
Abstract: We study implementations of basic fault-tolerant primitives, such as consensus and registers, in message-passing systems...
Friday, March 31, 2023
Kyveli Doveri, PhD Student, IMDEA Software InstituteInclusion Checking between Büchi Automata
Abstract: In this talk I will present two algorithms to decide the language inclusion problem between Büchi automata. Our approach...