Developments in concurrency and communication