Functional techniques in concurrency