Events

11 February 2009

11 février 2009, 11h
Orsay, Bat I, 1er étage,
Centre de Recherche commun INRIA-MSR

HOCore
Alan Schmitt
INRIA Rhône-Alpes

HOCore est un calcul de processus d’ordre supérieur très simple, correspondant au pi calcul d’ordre supérieur sans la restriction. Ce calcul a la particularité d’être Turing Complete tout en ayant une équivalence observationnelle décidable. Nous présenterons HOCore et ses propriétés, ainsi que des résultats récents sur les équivalences pour des extensions de HOCore comportant la passivation, un opérateur permettant de capturer un processus en cours d’exécution.