Enviar aquest missatge de text: Reasoning about concurrent systems: a functional approach