Text this: Modal logic and process algebra :