creators_name: Jones, Cliff B.
creators_name: Pierce, Ken G.
type: article
datestamp: 2010-11-29 11:54:15
lastmod: 2010-11-29 11:54:15
metadata_visibility: show
title: Elucidating concurrent algorithms via layers of abstraction and reification
ispublished: pub
subjects: deploy_method
full_text_status: none
date: 2010
date_type: published
publication: Formal Aspects of Computing
volume: online
refereed: TRUE
official_url: http://www.springerlink.com/content/e52509k41r31g880/
citation:   Jones, Cliff B. and Pierce, Ken G.  (2010) Elucidating concurrent algorithms via layers of abstraction and reification.  Formal Aspects of Computing, online .