Text this: Communicating sequential processes. The first 25 years