creators_name: Jones, Cliff B.
creators_name: Pierce, Ken G.
type: article
datestamp: 2012-02-13 10:17:51
lastmod: 2012-02-13 10:17:51
metadata_visibility: show
title: Elucidating concurrent algorithms via layers of abstraction and reification
ispublished: pub
subjects: deploy_method
full_text_status: none
date: 2011
publication: Formal Aspects of Computing
volume: 23
number: 3
pagerange: 289-306
refereed: TRUE
official_url: http://www.springerlink.com/content/e52509k41r31g880/
citation:   Jones, Cliff B. and Pierce, Ken G.  (2011) Elucidating concurrent algorithms via layers of abstraction and reification.  Formal Aspects of Computing, 23  (3).   pp. 289-306.