A Universal Domain Technique for Profinite Posets
Carl A. Gunter
International Colloquium on Automata Languages and Programs (ICALP ’85), Lecture Notes in Computer Science, volume 194, pages 232-243, Nafplion, Greece, July 1985.
Last updated on Thursday, June 26, 2014, 12:45 pm