"184","Elucidating concurrent algorithms via layers of abstraction and reification.","","http://deploy-eprints.ecs.soton.ac.uk/184/","Jones, Cliff B and Pierce, Ken G","UNSPECIFIED","       <span class=\"person_name\">Jones, Cliff B</span> and <span class=\"person_name\">Pierce, Ken G</span>     (2009)  <a href=\"http://deploy-eprints.ecs.soton.ac.uk/184/\"><em>Elucidating concurrent algorithms via layers of abstraction and reification.</em></a>       Technical Report.     Newcastle University , Newcastle upon Tyne .           ","Cliff.Jones@ncl.ac.uk,k.g.pierce@ncl.ac.uk","2009"