Sites Inria

English version

Séminaire Gallium

Séminaire Gallium - Event structures and weak memory models

  • Date : 27/11/2018
  • Lieu : 2 rue Simone Iff 75012 - Salle A115, bât A
  • Intervenant(s) : Simon Castellan
  • Organisateur(s) : Equipe Gallium

Event structures and weak memory models

Simon Castellan, Imperial College 

Dans cet exposé, Simon présentera un modèle de "shared-memory concurrent programs". Le modèle combine les avantages théoriques de la sémantique opérationnelle et
de la sémantique axiomatique (utilisant des ensembles d'exécution). Il illustrera avec deux applications de la méthodologie.

  • Un modèle pour TSO
  • Un modèle où les actions sur la même variable ne doivent pas nécessairement être séquentielles (comme dans la sémantique axiomatique habituelle)

Mots-clés : Memoire Séminaire Gallium Modele Sémantique

Haut de page

Suivez Inria