Le séminaire du LSV

Le séminaire du LSV a lieu le mardi à 11h00. Le lieu habituel est la salle de conférences au Pavillon des Jardins (plan d'accès). Pour être informé par email des prochains séminaires, contacter Stéphane Le Roux and Matthias Fuegger.

Le séminaire du LSV est public et ne nécessite aucune inscription préalable.

Séminaires passés

The Theory of Visibly Multistack Pushdown Systems

Visiter le site web pour cet événement | Exporter cet événement au format iCalendar

 Salvatore La Torre
Date
Le mardi 05 novembre 2013 à 11:00
Lieu
Salle de Conférence (Pavillon des Jardins)
Orateur
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.


À propos du LSV

Agenda des séminaires

Exporter l'agenda au format iCalendar | Les séminaires précédents

mar. 19 février

Les séminaires précédents