Probabilistic LCF

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 64 LNCS, Issue , 1978, Pages 442-451

  Saheb Djahromi, N ^a  

^a UNIVERSITY OF TEHRAN   (Iran)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 85034422328     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-08921-7_92     Document Type: Conference Paper

References (7)

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