"257","Elucidating concurrent algorithms via layers of abstraction and reification","","http://deploy-eprints.ecs.soton.ac.uk/257/","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>     (2010)  <a href=\"http://deploy-eprints.ecs.soton.ac.uk/257/\"><em>Elucidating concurrent algorithms via layers of abstraction and reification.</em></a>       Formal Aspects of Computing, online       .                          ","","2010"