A modelling language approach to defining mathematical structures via semantics

Strachey 100: an Oxford Computing Pioneer by Oxford University

In this talk, Jane presents about her work on modelling dynamic behaviour of systems using quantative modelling techniques. Particular kinds of modelling diagrams are used and a mathematical approach to looking at their...View more