Metric interpretations of infinite trees and semantics of non deterministic recursive programs
- 30 June 1980
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 11 (2) , 181-205
- https://doi.org/10.1016/0304-3975(80)90045-6
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Power domainsJournal of Computer and System Sciences, 1978
- The algebraic semantics of recursive program schemesPublished by Springer Nature ,1978
- Non deterministic recursive program schemesLecture Notes in Computer Science, 1977
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977
- A Powerdomain ConstructionSIAM Journal on Computing, 1976
- Initial algebra semanticsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1974
- The lattice of flow diagramsPublished by Springer Nature ,1971