title: Elucidating concurrent algorithms via layers of abstraction and reification
creator: Jones, Cliff B.
creator: Pierce, Ken G.
subject: Methodology
date: 2010
type: Article
type: PeerReviewed
relation: http://www.springerlink.com/content/e52509k41r31g880/
identifier:   Jones, Cliff B. and Pierce, Ken G.  (2010) Elucidating concurrent algorithms via layers of abstraction and reification.  Formal Aspects of Computing, online .        
relation: http://deploy-eprints.ecs.soton.ac.uk/257/