A machine-level semantics for nondeterministic, parallel programs

  • David B. Benson
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 137)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. D. B. Benson (1979), In Scott-Strachey style denotational semantics, parallelism implies nondeterminism, to appear in Math. Sys. Theory, v. 15. (Tech. Rpt. CS-79-054).Google Scholar
  2. D. B. Benson (1982), Counting paths: nondeterminism as linear algebra, WSU Comput. Sci. Tech. Rpt. CS-82-084.Google Scholar
  3. D. B. Benson and I. Guessarian (1981), Algebraic solutions to recursion schemes, WSU Comput. Sci. Tech. Rpt. CS-81-079.Google Scholar
  4. C. C. Elgot (1979), The multiplicity semiring of a Boolean ring, IBM Research Report RC 7450.Google Scholar
  5. N. Francez, D. J. Lehmann, A. Pnueli (1980), A linear history semantics for distributed languages, IEEE Conf. Record of 21st FoCS Symp., 143–151.Google Scholar
  6. R. M. Karp and R. E. Miller (1969), Parallel program schemata, J. Comput. Sys. Sci. 3, 147–195.Google Scholar
  7. R. J. Lorentz and D. B. Benson (1980), Deterministic and nondeterministic flowchart interpretations, WSU Comput. Sci. Tech. Rpt. CS-80-066.Google Scholar
  8. M. G. Main and D. B. Benson (1982), An algebra for nondeterministic, distributed processes, WSU Comput. Sci. Tech. Rpt. CS-82-087.Google Scholar
  9. D. Park (1980), On the semantics of fair parallelism, LNCS 86, Springer-Verlag, 509–526.Google Scholar
  10. D. Park (1981), Concurrency and automata on infinite sequences, LNCS 104, Springer-Verlag, 167–183.Google Scholar
  11. A. Poigné (1981), Using least fixed points to characterize formal computations of non-deterministic equations, LNCS 107, Springer-Verlag, 447–459.Google Scholar
  12. W. C. Rounds and S. D. Brookes (1981), Possible futures, acceptances, refusals and communicating processes, IEEE Conf. Record of 22nd FoCS Symp., Nashville, TN.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1982

Authors and Affiliations

  • David B. Benson
    • 1
  1. 1.Computer Science DepartmentWashington State UniversityPullmanUSA

Personalised recommendations