From ce4ac1e44ad651cb54010e2f99d6bc142e8ef7ad Mon Sep 17 00:00:00 2001
From: Pedro da Rocha Pinto <pmd09@doc.ic.ac.uk>
Date: Thu, 18 Feb 2016 22:45:42 +0000
Subject: [PATCH] Improvement (?) on description about the concurrency project.

---
 _research/concurrency.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/_research/concurrency.md b/_research/concurrency.md
index 0df63bb..1ee85df 100644
--- a/_research/concurrency.md
+++ b/_research/concurrency.md
@@ -7,7 +7,7 @@ Concurrent programs and libraries are ubiquitous in today's world of multi-core
 and the need for reasoning about concurrent programs and verifying their correctness grows 
 increasingly more important. These research problems are still considered difficult for a variety of reasons,
 such as the fact that we need to consider and reach conclusions about a shared state 
-affected by multiple threads.
+affected by multiple threads, or that we require effective abstractions for describing the complex behaviour created by multiple threads.
 
 Our research agenda is to develop formal reasoning methods about concurrency with a focus on concurrent program logics.
 Recently, various logics based on separation logic were introduced with the aim of verifying functional correctness of fine-grained concurrent programs.
-- 
GitLab