Abstract
A formal specification is given, allowing a wide class of parallel implementations but excluding sequential implementations. The specification technique used is novel, and has not yet been shown to be applicable to other problems.
On leave (until January 1984) from: Computer Science Dept., Aarhus University, DK-8000 Aarhus C, Denmark.
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mosses, P. (1985). A solution to problem 7 — parallel combinator reduction machine —. In: Denvir, B.T., Harwood, W.T., Jackson, M.I., Wray, M.J. (eds) The Analysis of Concurrent Systems. Lecture Notes in Computer Science, vol 207. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16047-7_57
Download citation
DOI: https://doi.org/10.1007/3-540-16047-7_57
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16047-2
Online ISBN: 978-3-540-39731-1
eBook Packages: Springer Book Archive