Recent results on continuous ordered algebras
- 25 January 2006
- book chapter
- Published by Springer Nature
- p. 320-330
- https://doi.org/10.1007/bfb0028816
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Construction of free continuous algebrasAlgebra universalis, 1982
- Completions of Partially Ordered SetsSIAM Journal on Computing, 1982
- A birkhoff-like theorem for algebraic classes of interpretations of program schemesLecture Notes in Computer Science, 1981
- Algebraic semanticsLecture Notes in Computer Science, 1981
- Full abstraction for a simple parallel programming languagePublished by Springer Nature ,1979
- The algebraic semantics of recursive program schemesPublished by Springer Nature ,1978
- Automata-Theoretic Aspects of Formal Power SeriesPublished by Springer Nature ,1978
- Algebraic families of interpretationsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1976
- A Powerdomain ConstructionSIAM Journal on Computing, 1976
- Some fundamentals of order-algebraic semanticsPublished by Springer Nature ,1976