Items where Division is "REF UoA Output Collections > REF2021 UoA11: Computer Science and Informatics" and Year is 1995
Up a level |
Jump to: A
Number of items: 1.
A
Abdallah, Ali E. (1995) Derivation of parallel algorithms from functional specifications to CSP processes. In: Mathematics of Program Construction. Springer, Berlin, Heidelberg, pp. 67-96. ISBN 978-3-540-49445-4