Advertisement

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

  • Pamela Z. Smith
  • D. R. Fitzwater
Session 3: Modelling And Parallelism Detection
Part of the Lecture Notes in Computer Science book series (LNCS, volume 24)

References

  1. [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. [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. [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. [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. [5]
    J.J. Horning, and B. Randell, "Process Structuring", Comp. Surveys, (March, 1973), pp. 5–30.Google Scholar
  6. [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

Copyright information

© Springer-Verlag Berlin Heidelberg 1975

Authors and Affiliations

  • Pamela Z. Smith
    • 1
  • D. R. Fitzwater
    • 1
  1. 1.Computer Sciences DepartmentUniversity of WisconsinMadison

Personalised recommendations