ePrints

The role of auxiliary variables in the formal development of concurrent programs

Lookup NU author(s): Emeritus Professor Cliff JonesORCiD

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.

Publication metadata

Author(s): Jones CB

Editor(s): Jones, C.B., Roscoe, A.W., Wood, K.R.

Publication type: Book Chapter

Publication status: Published

Book Title: Reflections on the Work of C.A.R. Hoare

Year: 2010

Pages: 167-188

Edition: 1st

Series Title: History of Computing

Publisher: Springer

Place Published: London

URL: http://dx.doi.org/10.1007/978-1-84882-912-1_8

DOI: 10.1007/978-1-84882-912-1_8

Library holdings: Search Newcastle University Library for this item

ISBN: 9781848829114

Share