Text this: Logic for Concurrency and Synchronisation