LSV Seminar

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.

Past Seminars

The Theory of Visibly Multistack Pushdown Systems

 Salvatore La Torre
Tuesday, November 05 2013 at 11:00AM
Salle de Conférence (Pavillon des Jardins)
Salvatore La Torre (Università degli Studi di Salerno)

Multi-stack pushdown systems (MPS) are a natural model of the control flow of multi-threaded programs. The intuition of exploring computations up to a bounded number of context switches has stimulated a series of interesting results in program verification, such as for example the possibility of sequentializing concurrent programs without maintaining the cross-product of the involved threads, and the study of the formal theory of decidable subclasses. In this talk, we focus on the formal languages theory of the classes of MPS with the bounded-context switching, scope-bounded, phase-bounded, and stack-ordered restrictions.

About LSV