creators_name: Jones, Cliff B creators_name: Pierce, Ken G creators_id: Cliff.Jones@ncl.ac.uk creators_id: k.g.pierce@ncl.ac.uk type: monograph datestamp: 2010-01-12 10:11:11 lastmod: 2010-11-27 16:19:08 metadata_visibility: show title: Elucidating concurrent algorithms via layers of abstraction and reification. ispublished: pub subjects: deploy_method full_text_status: restricted monograph_type: technical_report date: 2009 date_type: published publisher: Newcastle University place_of_pub: Newcastle upon Tyne id_number: CS-TR-1166 institution: Newcastle University department: School of Computing Science official_url: http://www.cs.ncl.ac.uk/research/pubs/trs/papers/1166.pdf citation: Jones, Cliff B and Pierce, Ken G (2009) Elucidating concurrent algorithms via layers of abstraction and reification. Technical Report. Newcastle University , Newcastle upon Tyne . document_url: http://deploy-eprints.ecs.soton.ac.uk/184/1/Elucidating_Concurrent_algorithms_via_layers_of_abstraction_%26_reification.pdf