From b79f0e8e9fbaa8eebcd952276164a23fd03a6413 Mon Sep 17 00:00:00 2001
From: Pedro da Rocha Pinto <pmd09@doc.ic.ac.uk>
Date: Thu, 4 Feb 2016 00:50:34 +0000
Subject: [PATCH] Fixed doi
---
publications/publications.bib | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/publications/publications.bib b/publications/publications.bib
index 8e3ed9e..1ea598c 100644
--- a/publications/publications.bib
+++ b/publications/publications.bib
@@ -522,7 +522,7 @@ Building on separation logic with concurrent abstract predicates (CAP), we intro
Month = {June},
Pages = {3--18},
url = {http://www.sciencedirect.com/science/article/pii/S1571066115000699},
- doi = {http://dx.doi.org/10.1016/j.entcs.2015.12.002},
+ doi = {10.1016/j.entcs.2015.12.002},
Abstract = {The specification of a concurrent program module is a difficult problem. The specifications must be strong enough to enable reasoning about the intended clients without reference to the underlying module implementation. We survey a range of verification techniques for specifying concurrent modules, in particular highlighting four key concepts: auxiliary state, interference abstraction, resource ownership and atomicity. We show how these concepts combine to provide powerful approaches to specifying concurrent modules.}
}
--
GitLab