Evènement pour le groupe
Séminaire Méthodes Formelles
Date | 2016-03-01 11:00-12:00 |
Titre | Reasoning about distributed systems: WYSIWYG |
Résumé | There are two schools of thought on reasoning about distributed systems: one following interleaving based semantics, and one following partial-order/graph based semantics. We will compare these two approaches and argues in favour of the latter. An introductory treatment of tree automata techniques (via split-width) to reason about distributed systems is also provided. |
Lieu | 76 |
Orateur | Paul Gastin |
Email | http://www.lsv.ens-cachan.fr/~gastin/ |
Url | LSV - ENS Cachan |
Aucun document lié à cet événement.
RetourRetour à l'index