Title: Logic for Concurrency and Synchronisation
Subjects: Proof theory, Modality (logic), Parallel programming (computer science)