Syntactic recognition of parallel processes in formally defined complexes of interacting digital systems

1. 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.

   Google Scholar 

2. 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.

   Google Scholar 

3. 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.

   Google Scholar 

4. P.Z. Smith, and D.R. Fitzwater, Finite Process Structures, Comp. Sci. Dept., University of Wisconsin, #213, (June, 1974), 78 pp.

   Google Scholar 

5. J.J. Horning, and B. Randell, "Process Structuring", Comp. Surveys, (March, 1973), pp. 5–30.

   Google Scholar 

6. 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.

   Google Scholar 

Download references