30+ years of modelling communicating systems in a functional style