Title: Logic for Concurrency and Synchronisation (Trends in Logic)
Subjects: Modality (Logic), Proof theory, Parallel programming (Computer science)