×

zbMATH — the first resource for mathematics

Unique fixed points vs. least fixed points. (English) Zbl 0439.68026

MSC:
68Q60 Specification and verification (program logics, model checking, etc.)
68Q55 Semantics in the theory of computing
68N01 General topics in the theory of software
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Goguen, J.A.; Thatcher, J.W.; Wagner, E.G.; Wright, J.B., Some fundamentals of order-algebraic semantics, () · Zbl 0361.68041
[2] Initial algebra semantics and continuous algebras, Jacm, 24, 68-95, (1977) · Zbl 0359.68018
[3] Bloom, S.L.; Elgot, C.C.; Tindell, R., The algebraic structure of rooted trees, J. comput. system sci., 16, 362-399, (1978) · Zbl 0389.68007
[4] Elgot, C.C., Monadic computation and iterative algebraic theories, (), 175-230 · Zbl 0327.02040
[5] Ginali, S., Ph.D. dissertation, (1976), University of Chicago
[6] Lawvere, F.W., Functional semantics of algebraic theories, Proc. nat. acad. sci., 50, 869-872, (1963) · Zbl 0119.25901
[7] MacLane, S., Categories for the working Mathematician, (1971), Springer Berlin
[8] Nivat, M., Languages algebraic sur le magma libre et semantique des schemas de programme, (), 293-308
[9] Scott, D., The lattice of flow diagrams, () · Zbl 0228.68016
[10] Tiuryn, J., Fixed points and algebras with infinitely long expressions part I. regular algebras, (), Fund. informat., II, 1, (1978) · Zbl 0384.68005
[11] Tiuryn, J., Fixed points and algebras with infinitely long expressions part II. μ-clones of regular algebras, (), see also Fund. Informat. to appear. · Zbl 0384.68005
[12] Tiuryn, J., On a connection between regular algebras and rational algebraic theories, Dortmund, Proc. 2nd workshop on categorical and algebraic methods in computer science and system theory, (1978) · Zbl 0465.68022
[13] Tiuryn, J., Continuity problems in the power-set algebra of infinite trees, Lille, Proc. 4th workshop on trees in algebra and programming, (1979)
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. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.