Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Preface., , , and . J. Log. Algebraic Methods Program., 84 (1): 107 (2015)Topological Cones: Foundations for a Domain Theoretical Semantics Combining Probability and Nondeterminism.. MFPS, volume 155 of Electronic Notes in Theoretical Computer Science, page 423-443. Elsevier, (2005)The Extended Probabilistic Powerdomain Monad over Stably Compact Spaces., , and . TAMC, volume 3959 of Lecture Notes in Computer Science, page 566-575. Springer, (2006)The Cuntz semigroup and domain theory.. Soft Comput., 21 (10): 2485-2502 (2017)Extending Algebraic Operations to D-Completions., and . MFPS, volume 249 of Electronic Notes in Theoretical Computer Science, page 93-116. Elsevier, (2009)Weak upper topologies and duality for cones.. Logical Methods in Computer Science, (2015)Mixed powerdomains for probability and nondeterminism., and . Logical Methods in Computer Science, (2017)Preface., , , and . Ann. Pure Appl. Log., 159 (3): 249-250 (2009)Predicate transformers for extended probability and non-determinism., and . Math. Struct. Comput. Sci., 19 (3): 501-539 (2009)Extending algebraic operations to D-completions., and . Theor. Comput. Sci., (2012)