Prochain Exposé
February 9, 3PM (Paris/France). Salle Markov.
Corto Mascle(Université de Bordeaux)
Avoiding deadlocks in lock-sharing systems
In this presentation we will study several problems on lock-sharing systems (LSS), in which processes are modelled by finite transition systems which interact by taking or releasing locks. We will see that model-checking and synthesis of such systems are difficult in general, as processes can use locks to synchronize an arbitrary number of times. By contrast, when restricting lock usage (for instance requiring that processes store their locks in a stack), those problems become more tractable, as we can abstract runs into small witnesses. Finally, we enrich the model to make it parametric and have arbitrary numbers of processes and locks.
Exposés des semaines suivantes
March 2, 3PM (Paris/France). Salle Markov (Online).
Sven Schewe (University of Liverpool)
TBA
TBA
March 16, 3PM (Paris/France). Salle Aurigny (Online).
Christoph Haase (University of Oxford)
TBA
TBA
April 13, 3PM (Paris/France). Salle Aurigny (Online).
Arnaud Sangnier (Université Paris Cité)
TBA
TBA
Vos propositions sont les bienvenues !
