Power domains and predicate transformers: A topological view
2006 ◽
pp. 662-675
◽
Keyword(s):
1995 ◽
Vol 24
(2)
◽
pp. 129-147
◽
1993 ◽
Vol 38
(2)
◽
pp. 232-247
◽
Keyword(s):
1990 ◽
Vol 12
(3)
◽
pp. 396-428
◽
Keyword(s):
Keyword(s):