Evènement pour le groupe Séminaire Méthodes Formelles


Date 2016-03-01  11:00-12:00
TitreReasoning 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. 
Lieu76 
OrateurPaul Gastin 
Emailhttp://www.lsv.ens-cachan.fr/~gastin/ 
UrlLSV - ENS Cachan 



Aucun document lié à cet événement.

Retour
Retour à l'index