Robuta

https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2023.11 Detecting Causality in the Presence of Byzantine Processes: The Synchronous Systems Case synchronous systems detecting causality presence byzantine https://www.rairo-ita.org/articles/ita/abs/2005/02/ita0437/ita0437.html Efficient simulation of synchronous systems by multi-speed systems | RAIRO - Theoretical... RAIRO - Theoretical Informatics and Applications, an international journal on theoretical computer science and its applications synchronous systems multi speed efficient simulation rairo