title: Elucidating concurrent algorithms via layers of abstraction and reification.
creator: Jones, Cliff B
creator: Pierce, Ken G
subject: Methodology
publisher: Newcastle University 
date: 2009
type: Monograph
type: NonPeerReviewed
format: application/pdf
identifier: http://deploy-eprints.ecs.soton.ac.uk/184/1/Elucidating_Concurrent_algorithms_via_layers_of_abstraction_%26_reification.pdf
relation: http://www.cs.ncl.ac.uk/research/pubs/trs/papers/1166.pdf
identifier:   Jones, Cliff B and Pierce, Ken G  (2009) Elucidating concurrent algorithms via layers of abstraction and reification.  Technical Report. Newcastle University , Newcastle upon Tyne .     
relation: http://deploy-eprints.ecs.soton.ac.uk/184/