Mathematical Structural Operational Semantics

This grant was to continue investigations in mathematical operational semantics. Operational semantics, largely invented by the PI, is the main method of formally specifying programming languages used today. Mathematical operational semantics seeks to elucidate and develop the general principles underlying operational semantics. Klin, with various others, used these ideas to give a general method of giving semantics for stochastic process calculi, an important area for biological and other modelling. He also produced beautiful work on a framework for an abstract approach to modal logics for process calculi.