The LSV seminar takes place on Tuesday at 11:00 AM. The usual location is the conference room at Pavillon des Jardins (venue). If you wish to be informed by e-mail about upcoming seminars, please contact Stéphane Le Roux and Matthias Fuegger.
The seminar is open to public and does not require any form of registration.
Persistent sets are a cornerstone of Partial Order Reduction; however, they need to be combined with additional methods (such as sleep sets) to avoid the state-space-explosion problem, e.g., in deadlock detection. However, one crucial fact is that persistent *singletons* are "inessential" in a suitable, technical sense; thus, the goal is to eliminate them "directly". Roughly, we can render asynchronous transition systems more compact by "quotienting out" all persistent singletons, using techniques of directed algebraic topology. The talk illustrates the crucial ideas for the case of occurrence nets and focuses on the relation to Haar's facet abstraction.