G Gierz, KH Hofmann, K Keimel, JD Lawson, M Mislove, DS Scott

Cambridge university press, 2003

G Gierz, KH Hofmann, K Keimel, JD Lawson, M Mislove, DS Scott

Springer, Berlin, 1980

KH Hofmann, M Mislove, A Stralka

Springer, 2006

KH Hofmann, MW Mislove

Continuous Lattices: Proceedings of the Conference on Topological and …, 2006

MW Mislove

Topology and its Applications 89 (1-2), 3-59, 1998

M Mislove

International Conference on Concurrency Theory, 350-365, 2000

M Mislove, J Ouaknine, J Worrell

Electronic Notes in Theoretical Computer Science 96, 7-28, 2004

F Van Breugel, M Mislove, J Ouaknine, J Worrell

Theoretical Computer Science 333 (1-2), 171-197, 2005

D Pavlovic, M Mislove, JB Worrell

Algebraic Methodology and Software Technology: 11th International Conference …, 2006

JD Lawson, M Mislove

Open Problems in Topology, North-Holland, Amsterdam, 349-372, 1990

F van Breugel, M Mislove, J Ouaknine, J Worrell

International Conference on Foundations of Software Science and Computation …, 2003

MW Mislove

Electronic Notes in Theoretical Computer Science 20, 399-412, 1999

MW Mislove, AW Roscoe, SA Schneider

Theoretical Computer Science 138 (2), 273-314, 1995

B Lindenhovius, M Mislove, V Zamdzhiev

Proceedings of the 33rd annual ACM/IEEE symposium on logic in computer …, 2018

M Mislove, J Ouaknine, D Pavlovic, J Worrell

Foundations of Software Science and Computation Structures: 7th …, 2004

MW Mislove

Topology and category theory in computer science, 75-111, 1991

S Brookes

Springer Science & Business Media, 1994

MW Mislove, LS Moss, FJ Oles

Information and Computation 93 (1), 16-54, 1991

MW Mislove, JT Rogers Jr

Topology and its Applications 31 (3), 259-267, 1989

JR Liukkonen, MW Mislove

Mathematische Annalen 217 (2), 97-112, 1975