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.