Connexion

English version

PPS UMR 7126 – Laboratoire
Preuves, Programmes et Systèmes

Accueil · Présentation · Membres · Publications · Séminaire · Groupes de travail · Projets · πr²

Towards mathematical structural operational semantics

Abstract:

I am interested in the relationship between structural operational semantics and compositional denotational semantics. In this talk I will describe some steps in this direction: I will derive a compositionality result for a value-passing process calculus. I'll do this by combining old work on "rule formats" with an analysis of substitution.

The talk will be based on my paper at LICS 2008 and various subsequent developments.