Presenting dcpos and dcpo algebras

by Achim Jung , M. Andrew , Moshier Steven Vickers
Venue:Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIV), Electronic Notes in Theoretical Computer Science
Citations:6 - 1 self