Continuous lattices and domains G Gierz, KH Hofmann, K Keimel, JD Lawson, M Mislove, DS Scott Cambridge university press, 2003 | 2405 | 2003 |
A Compendium of Continuous Lattices G Gierz, KH Hofmann, K Keimel, JD Lawson, M Mislove, DS Scott Springer, Berlin, 1980 | 2298* | 1980 |
The Pontryagin duality of compact O-dimensional semilattices and its applications KH Hofmann, M Mislove, A Stralka Springer, 2006 | 180 | 2006 |
Local compactness and continuous lattices KH Hofmann, MW Mislove Continuous Lattices: Proceedings of the Conference on Topological and …, 2006 | 177 | 2006 |
Topology, domain theory and theoretical computer science MW Mislove Topology and its Applications 89 (1-2), 3-59, 1998 | 136 | 1998 |
Nondeterminism and probabilistic choice: Obeying the laws M Mislove International Conference on Concurrency Theory, 350-365, 2000 | 93 | 2000 |
Axioms for probability and nondeterminism M Mislove, J Ouaknine, J Worrell Electronic Notes in Theoretical Computer Science 96, 7-28, 2004 | 83 | 2004 |
Domain theory, testing and simulation for labelled Markov processes F Van Breugel, M Mislove, J Ouaknine, J Worrell Theoretical Computer Science 333 (1-2), 171-197, 2005 | 73 | 2005 |
Testing semantics: Connecting processes and process logics D Pavlovic, M Mislove, JB Worrell Algebraic Methodology and Software Technology: 11th International Conference …, 2006 | 52 | 2006 |
Problems in domain theory and topology JD Lawson, M Mislove Open Problems in Topology, North-Holland, Amsterdam, 349-372, 1990 | 51 | 1990 |
An intrinsic characterization of approximate probabilistic bisimilarity F van Breugel, M Mislove, J Ouaknine, J Worrell International Conference on Foundations of Software Science and Computation …, 2003 | 44 | 2003 |
Fixed points without completeness MW Mislove, AW Roscoe, SA Schneider Theoretical Computer Science 138 (2), 273-314, 1995 | 39 | 1995 |
Local DCPOs, local CPOs and local completions MW Mislove Electronic Notes in Theoretical Computer Science 20, 399-412, 1999 | 37 | 1999 |
Duality for labelled Markov processes M Mislove, J Ouaknine, D Pavlovic, J Worrell Foundations of Software Science and Computation Structures: 7th …, 2004 | 33 | 2004 |
Enriching a linear/non-linear lambda calculus: A programming language for string diagrams B Lindenhovius, M Mislove, V Zamdzhiev Proceedings of the 33rd annual ACM/IEEE symposium on logic in computer …, 2018 | 31 | 2018 |
Algebraic posets, algebraic cpo's and models of concurrency MW Mislove Topology and category theory in computer science, 75-111, 1991 | 29 | 1991 |
Non-well-founded sets modeled as ideal fixed points MW Mislove, LS Moss, FJ Oles Information and Computation 93 (1), 16-54, 1991 | 28 | 1991 |
Mathematical Foundations of Programming Semantics: 9th International Conference, New Orleans, LA, USA, April 7-10, 1993. Proceedings S Brookes Springer Science & Business Media, 1994 | 26 | 1994 |
Local product structures on homogeneous continua MW Mislove, JT Rogers Jr Topology and its Applications 31 (3), 259-267, 1989 | 25* | 1989 |
Symmetry in Fourier-Stieltjes algebras JR Liukkonen, MW Mislove Mathematische Annalen 217 (2), 97-112, 1975 | 24 | 1975 |