×

CPO’s of measures for nondeterminism. (English) Zbl 0433.68017


MSC:

68Q60 Specification and verification (program logics, model checking, etc.)
68Q65 Abstract data types; algebraic specification

Software:

LCF
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] de Bakker, J. W., Recursive procedures, Math. Centre Tracts, 24 (1971) · Zbl 0274.02015
[2] de Bakker, J. W., Semantics and termination of nondeterministic programs, (Proc. Third International Colloquium on Automata, Languages and Programming (1976), Edinburgh University Press: Edinburgh University Press Edinburgh), 345-477 · Zbl 0354.68021
[3] Berberian, S. K., Measure and Integration (1965), Macmillan: Macmillan New York · Zbl 0126.08001
[4] Berge, C., Graphs and Hypergraphs (1973), North-Holland: North-Holland Amsterdam · Zbl 0483.05029
[5] Halmos, P. R., Measure Theory (1965), Van Nostrand: Van Nostrand New York
[6] Hitchcock, P.; Park, D., Introduction rules and termination proofs, (Nivat, M., Automata, Languages and Programming (1972), North-Holland: North-Holland Amsterdam), 225-251
[7] Lehmann, D. J., Categories for fixpoint semantics, Proc. IEEE, Symposium on FOCS, 122-126 (1976), Houston
[8] Loève, M., Probability Theory I (1977), Springer: Springer Berlin · Zbl 0359.60001
[9] Markowsky, G.; Rosen, B., Bases for chain-complete posets, IBM J. Res. Develop., 20, 2, 138-147 (1976) · Zbl 0329.06001
[10] Milner, R., Models of LCF, foundation of computer science II, Math. Centre Tracts, 8, 2, 49-66 (1976)
[11] Milner, R., An approach to the semantics of parallel programs, Proc. Convegno di Informatica Teorica (1973), Instituto di Elaborazione delle Informatica: Instituto di Elaborazione delle Informatica Pisa
[12] Paz, A., Introduction to Probabilistic Automata (1971), Academic Press: Academic Press New York · Zbl 0234.94055
[13] Plotkin, G. D., A powerdomain construction, SIAM J. Comput., 5, 3, 452-487 (1976) · Zbl 0355.68015
[14] Rabin, M. O., Probabilistic algorithms, (Traub, J. F., Algorithms and Complexity: New Directions and Recent Results (1976), Academic Press: Academic Press New York), 21-39
[15] Royden, H. L., Real Analysis (1964), Macmillan: Macmillan New York · Zbl 0197.03501
[16] Saheb-Djahromi, N., Probabilistic non-determinism, (Internal Report (1977), University of Edinburgh) · Zbl 0396.68037
[17] Saheb-Djahromi, N., Probabilistic LCF, (Mathematical Foundations of Computer Science, 64 (1978), Springer: Springer Berlin) · Zbl 0396.68037
[18] Scott, D., Continuous Lattices, Toposes, Algebraic Geometry and Logic, 74 (1971), Springer: Springer Berlin
[19] Smyth, M. B., Powerdomains, (Mathematical Foundations of Computer Science, 45 (1976), Springer: Springer Berlin) · Zbl 0408.68017
[20] Tang, A., Borel sets in \(P\) ω, IRIA, No. 137 (1975), Rapport de Recherche
[21] Wilson, R. J., Introduction to Graph Theory (1972), Longman · Zbl 0249.05101
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.