Probability Distribution Operational Semantic Transition Probability Matrix Denotational Semantic Ground Type 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    De Bakker, J.W., Least Fixed Points Revisited, Lecture Notes in Computer Science, Springer Verlag, Vol. 37, 1975.Google Scholar
  2. [2]
    Feller, W., An Introduction to Probability Theory and its Applications, Vol. 1, Wiley International Edition.Google Scholar
  3. [3]
    Hennessy, M., and Ashcroft, E., Parameter-Passing Mechanisms and Non-determinism, Ninth Annual ACM Symposium on Theory of Computation, Vol. 1, 1977.Google Scholar
  4. [4]
    Milner, R., Models of LCF, Stanford Artificial Intelligence Laboratory, Memo. AIM — 186, 1973.Google Scholar
  5. [5]
    Milner, R., Program Semantics and Mechanized Proof, Math. Centre Tracts, Amsterdam, 1976.Google Scholar
  6. [6]
    Plotkin, G., LCF Considered as a Programming Language, Symposium on Proving and Improving Programs, Arc et Senans, 1975.Google Scholar
  7. [7]
    Saheb-Djahromi, N., Probabilistic Non-Determinism, Internal Report, University of Edinburgh, Sept. 1977.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1978

Authors and Affiliations

  • N. Saheb-Djahromi
    • 1
  1. 1.Faculty of ScienceUniversity of TehranTehranIran

Personalised recommendations