Text this: Logic for concurrency and synchronisation