Title: Understanding Processes
Speaker: Filip Smola
Abstract:

In this talk I will give a high-level overview of my work on mechanising linear resources and process models. I will focus on what we can express and do with these models rather than how the mechanisation is set up. This includes how we can use specific kinds of resources and basic actions to express different domains, as well as tools for formally relating such domains. The simpler applications I will demonstrate are built around automatically deriving information about complex compositions of processes in domains inspired by two simulation games. For more interesting applications I’ll go over how process compositions relate to event sequences. And to conclude I’ll highlight two pieces of work currently in progress: expressing distributions in non-deterministic resources and a labelled process transition system.