This is a preview of subscription content, log in via an institution to check access.
References
D.R. Fitzwater, and P.Z. Smith, A Formal Definition Universe for Complexes of Interacting Digital Systems, Comp. Sci. Dept., University of Wisconsin, #184, (June, 1973), 47 pp.
P.Z. Smith, and D.R. Fitzwater, A Concept of Equivalence Between Formally Defined Complexes of Interacting Digital Systems, Comp. Sci. Dept., University of Wisconsin, #213, (April, 1974), 30 pp.
R.T. Johnson, Proving Assertions about the State Structure of Formally-Defined, Interacting Digital Systems, University of Wisconsin (1973), 160 pp., partially available in Comp. Sci. Dept. Tech. Report #193.
P.Z. Smith, and D.R. Fitzwater, Finite Process Structures, Comp. Sci. Dept., University of Wisconsin, #213, (June, 1974), 78 pp.
J.J. Horning, and B. Randell, "Process Structuring", Comp. Surveys, (March, 1973), pp. 5–30.
P.Z. Smith, and D.R. Fitzwater, Efficient Analysis of the Process Structures of Formally Defined Complexes of Interacting Digital Systems, Comp. Sci. Dept., University of Wisconsin, #219, (August, 1974), 67 pp.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1975 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Smith, P.Z., Fitzwater, D.R. (1975). Syntactic recognition of parallel processes in formally defined complexes of interacting digital systems. In: Feng, Ty. (eds) Parallel Processing. SCC 1974. Lecture Notes in Computer Science, vol 24. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-07135-0_115
Download citation
DOI: https://doi.org/10.1007/3-540-07135-0_115
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07135-8
Online ISBN: 978-3-540-37408-4
eBook Packages: Springer Book Archive