Preview
Unable to display preview. Download preview PDF.
References
J. Adamek. Construction of Free Ordered Algebras. Alg.Univ. 14 (1982), pp. 140–166.
J. Adamek, V. Koubek, E. Nelson, J. Reiterman. Arbitrarily Large Continuous Algebras on One Generator. T.A.M.S. (to appear).
J. Adamek and E. Nelson. Separately Continuous Algebras. T.C.S. 27(1983), pp. 225–231.
J. Adamek, E. Nelson, J. Reiterman. Tree constructions of Free Continuous Algebras. J.C.S.S. 24(1982), pp. 114–146.
J. Adamek, E. Nelson, J. Reiterman. The Birkhoff Variety Theorem for Continuous Algebras. Alg.Univ. (to appear).
J. Adamek, E. Nelson, J. Reiterman. Continuous Semilattices. manuscript, McMaster University, 1984.
ADJ. (= J.A. Goguen, J.W. Thatcher, E.G. Wagner, J.B. Wright) Some Fundamentals of Order-algebraic Semantics, in "Proceedings MFCS, Gdansk 1976", LNCS 45 pp. 153–168, Springer Verlag, 1976.
ADJ. Initial Algebra Semantics and Continuous Theories, J.A.C.M. 24(1977), pp. 68–95.
ADJ. Free Continuous Theories. IBM Res. Report 6909, Yorktown Heights, 1977.
ADJ. A Uniform Approach to Inductive POSets and Inductive Closure, in M.F.C.S. (J. Gruska, ed.), LNCS 53, Springer-Verlag 1977, also appeared in T.C.S. 7(1978), 57–77.
M. Broy. On the Herbrand-Kleene Universe for Non-deterministic Computations, preprint, Universitat Passau, 1984.
M. Broy. Fixed Point Theory for Communication and Concurrency. In D. Bjorner, ed. IFIP TC2 Working Conference on "Formal Description of Programming Concepts II", North Holland, 1983, pp. 125–147.
B. Banaschewski and E. Nelson. Completions of P.O.Sets. SIAM J. on Comp. 11(1982), 521–528.
G. Birkhoff. Lattice Theory, A.M.S., New York, 1948.
B. Courcelle and I. Guessarian. On some classes of interpretations. J.C.S.S. 17(1978), 383–413.
B. Courcelle and M. Nivat. Algebraic Families of Interpretations. 17th IEEE Symp. F.O.C.S. (1976), pp. 137–146.
B. Courcelle and M. Nivat. The algebraic semantics of recursive program schemes. LNCS 64, pp. 16–30, Springer-Verlag, 1978.
K. Culik and A. Salomaa. On infinite words obtained by iterating morphisms. T.C.S. 19(1982), 29–38.
O. Garcia and E. Nelson. On the non-existence of free complete distributive lattices. Order (to appear).
I. Guessarian. Algebraic Semantics. LNCS 99, Springer, 1981.
I. Guessarian and M. Nivat. About ordered sets in algebraic semantics, Rapport L.I.T.P. 83-19, Paris, 1983.
M.C.B. Hennessy and G.D. Plotkin. Full Abstraction for a Simple Parallel Programming Language. Proc.MFCS 1979, LNCS 74, pp. 109–120.
Jose Meseguer. Varieties of Chain-complete Algebras, J.P.A.A. 19(1980), 347–383.
Jose Meseguer. A Birkhoff-like Theorem for Algebraic Classes of Interpretations of Program Schemes. LNCS 107, pp. 152–168. Springer, 1981.
Jose Meseguer. Ideal Monads and Z-posets. Manuscript, Berkeley 1979.
Evelyn Nelson. Z-continuous algebras, L.N.M. 871, pp. 315–334, Springer, 1981.
M. Nivat. Infinite Words, Infinite Trees, Infinite Computations, in J.W. Bakker and J. van Leeuven, ed. Foundations of Computer Science, Amsterdam, 1979, pp. 3–52.
G. Plotkin. A Powerdomain Construction. Siam J. Comp. 5(1976), 452–487.
G. Plotkin. A Powerdomain for Countable Non-Determinism, in Automata, Languages and Programming, LNCS 140, Springer, 1982, pp. 418–428.
A. Salomaa and M. Soittola. Automata-Theoretic Aspects of Formal Power Series, Springer, 1978.
Dana Scott, The lattice of flow diagrams. in "Semantics of Algorithmic Languages", L.N.M. 188, pp. 311–366, Springer-Verlag, 1971.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nelson, E. (1985). Recent results on continuous ordered algebras. In: Budach, L. (eds) Fundamentals of Computation Theory. FCT 1985. Lecture Notes in Computer Science, vol 199. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0028816
Download citation
DOI: https://doi.org/10.1007/BFb0028816
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-15689-5
Online ISBN: 978-3-540-39636-9
eBook Packages: Springer Book Archive