Merge branch 'master' of https://gitlab.doc.ic.ac.uk/resource-reasoning/www-rw.doc.ic.ac.uk

Conflicts:
	_research/concurrency.md

research/concurrency.md → _research/concurrency.md

 ---
 title: Concurrency
 project_id: concurrency
-layout: research
 ---
 
 Concurrent programs and libraries are ubiquitous in today's world of multi-core processor architectures,