Laetitia Laversa (Université Sorbonne Paris Nord, LIPN)
Date: Monday, February 19th 2024 – 13h00Place: B013 (Bob)Title: Communicating automata and k-synchronizability Distributed systems are ubiquitous and their implementation is complex and error-prone. In order to check for errors, they can be modeled as systems of communicating automata, where each automaton represents the behavior of an element of the…
