"365","Elucidating concurrent algorithms via layers of abstraction and reification","","http://deploy-eprints.ecs.soton.ac.uk/365/","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>     (2011)  <a href=\"http://deploy-eprints.ecs.soton.ac.uk/365/\"><em>Elucidating concurrent algorithms via layers of abstraction and reification.</em></a>       Formal Aspects of Computing, 23        (3).           pp. 289-306.                ","","2011"