Probabilistic LCF
- 1 January 1978
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 442-451
- https://doi.org/10.1007/3-540-08921-7_92
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Parameter-passing mechanisms and nondeterminismPublished by Association for Computing Machinery (ACM) ,1977
- Least fixed points revisitedPublished by Springer Nature ,1975
- Models of LCFPublished by Defense Technical Information Center (DTIC) ,1973