Title: Resources and Process Compositions
Speaker: Filip Smola
In this talk I will highlight some of the progress I have made over the past year on my formal theory of resources and process compositions. This progress includes filling gaps in proofs, refining how resources are represented and introducing new concepts to the mechanised theory. With one of these concepts I seek to enrich resources with more information about any non-determinism they contain, while with another I seek to formally talk about the behaviour of processes.