Séminaires Gallium - Moscova

Algebra, Logic, Locality, Concurrency

Séminaire Gallium - Moscova

Inria - Rocquencourt, amphithéâtre Alan Turing, bâtiment 1.

Entrée libre à 10 h 30

  • Date : 21/10/2011
  • Lieu : Inria - Rocquencourt, amphithéâtre Alan Turing, bâtiment 1.
  • Intervenants : Peter O'Hearn - Queen Mary University of London
  • Organisateurs : Gallium - Moscova

This talk reports on ongoing work -- with Tony Hoare, Akbar Hussain, Bernhard Moller, Rasmus Petersen, Georg Struth, Ian Wehrman, and others -- on models and logics for concurrent processes.
The approach we are taking abstracts from syntax or particular models. Message passing and shared memory process interaction, and strong (interleaving) and weak (partial order) approaches to sequencing, are
accomodated as different models of the same core axioms. Rules of program logic, related to Hoare and Separation logics, flow at once from the algebraic axioms. So, one gets a generic program logic from the algebra, which holds for a range of concrete models.

Mots-clés : Paris - Rocquencourt Séminaire Moscova Gallium

Haut de page

Siège et centres de recherche Inria

Accès direct

Social