Powerdomains as Algebraic Lattices (Preliminary Report)

Karel Hrbacek. Powerdomains as Algebraic Lattices (Preliminary Report). In Wilfried Brauer, editor, Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece, July 15-19, 1985, Proceedings. Volume 194 of Lecture Notes in Computer Science, pages 281-289, Springer, 1985.

Abstract

Abstract is missing.