Presenting dcpos and dcpo algebras (2008)

by A Jung, M A Moshier, S Vickers
Venue:In: Proceedings of the 24th Annual Conference on Mathematical Foundations of Programming Semantics (MFPS XXIV), eds A. Bauer and M. Mislove, Electronic Notes in Theoretical Computer Science 218