Process calculi: observations, inspections

Calculs de processus: observations et inspections

Daniel Hirschkoff (1)

1 LIP - Laboratoire de l'Informatique du Parallélisme

Le document traite du raisonnement sur les processus. Les chapitres principaux sont: - Équivalences comportementales : caractérisation logique, axiomatisation et congruence - Inspections et équivalences intensionnelles - Calculs avec localités

Mots clés: process calculi; behavioural equivalence; type system; formal proof

Mots clés: calculs de processus; équivalence comportementale; système de types; preuve formelle; coinduction

Domaines: Logique en informatique [cs.LO]; Calcul parallèle, distribué et partagé [cs.DC]

Daniel Hirschkoff. Calculs de processus: observations et inspections. Logique en informatique [cs.LO]. Ecole normale supérieure de lyon - ENS LYON, 2009. ⟨tel-01002493⟩