Author of the publication

Duality Beyond Sober Spaces: Topological Spaces and Observation Frames.

, , and . Theor. Comput. Sci., 151 (1): 79-124 (1995)

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

Enterprise Architecture Analysis with XML., , , , and . HICSS, IEEE Computer Society, (2005)MoCha: A Middleware Based on Mobile Channels., , , and . COMPSAC, page 667-673. IEEE Computer Society, (2002)An Algebra for Kripke Polynomial Coalgebras., , and . LICS, page 49-58. IEEE Computer Society, (2009)Preface., and . Theor. Comput. Sci., 343 (3): 283-284 (2005)Presenting Distributive Laws., , , and . Logical Methods in Computer Science, (2015)Equations and Coequations for Weighted Automata., , and . MFCS (1), volume 9234 of Lecture Notes in Computer Science, page 444-456. Springer, (2015)Specifying Computations Using Hyper Transition Systems., and . MFCS, volume 1295 of Lecture Notes in Computer Science, page 169-178. Springer, (1997)Defining Context-Free Power Series Coalgebraically., , and . CMCS, volume 7399 of Lecture Notes in Computer Science, page 20-39. Springer, (2012)On the specification of operations on the rational behaviour of systems, , and . EXPRESS/SOS, volume 89 of EPTCS, page 3-18. (2012)(Co)Algebraic Characterizations of Signal Flow Graphs., , , and . Horizons of the Mind, volume 8464 of Lecture Notes in Computer Science, page 124-145. Springer, (2014)