Title: Mechanising Process Composition
Speaker: Filip Smola
In this talk I will give an overview of progress made on my PhD project and the future plans. The project is centred on processes specified by input and output resource, and their composition. I will give a brief overview of processes and resources, as well as their mechanisation. I will then present four process models we have built that demonstrate some of the features our mechanisation can already express, such as located resources and sensing actions. Then I will go over how we relate the process compositions to proofs in linear logic, giving them a notion of correctness. Finally I will sum up the plans for the future of this project.