Periodic Reporting for period 1 - VeSPA (Verification and Specification through Progress Abstractions)

Concurrent computation, organised as a decentralised collection of interacting components, is now ubiquitous.Our society increasingly relies on such systems for sensitive and critical infrastructure.To make this safe and sustainable we need a formal approach to analyse and...