Michael Mislove
Title
Cited by
Cited by
Year
A Compendium of Continuous Lattices
G Gierz, KH Hofmann, K Keimel, JD Lawson, M Mislove, DS Scott
Springer, Berlin, 1980
2119*1980
Continuous lattices and domains
G Gierz, KH Hofmann, K Keimel, JD Lawson, M Mislove, DS Scott
Cambridge university press, 2003
19282003
The Pontryagin duality of compact O-dimensional semilattices and its applications
KH Hofmann, M Mislove, A Stralka
Springer, 2006
204*2006
Open problems in topology
J Van Mill, GM Reed
North-Holland, 1990
185*1990
Local compactness and continuous lattices
KH Hofmann, MW Mislove
Continuous lattices, 209-248, 1981
1571981
Topology, domain theory and theoretical computer science
MW Mislove
Topology and its Applications 89 (1-2), 3-59, 1998
1151998
Nondeterminism and probabilistic choice: Obeying the laws
M Mislove
International Conference on Concurrency Theory, 350-365, 2000
862000
Axioms for probability and nondeterminism
M Mislove, J Ouaknine, J Worrell
Electronic Notes in Theoretical Computer Science 96, 7-28, 2004
702004
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
642005
Testing semantics: connecting processes and process logics
D Pavlovic, M Mislove, JB Worrell
International Conference on Algebraic Methodology and Software Technology …, 2006
422006
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
402003
Fixed points without completeness
MW Mislove, AW Roscoe, SA Schneider
Theoretical Computer Science 138 (2), 273-314, 1995
391995
Local DCPOs, local CPOs and local completions
MW Mislove
Electronic Notes in Theoretical Computer Science 20, 399-412, 1999
361999
Duality for labelled Markov processes
M Mislove, J Ouaknine, D Pavlovic, J Worrell
International Conference on Foundations of Software Science and Computation …, 2004
302004
Algebraic posets, algebraic cpo's and models of concurrency
MW Mislove
Topology and category theory in computer science, 75-111, 1991
291991
Non-well-founded sets modeled as ideal fixed points
MW Mislove, LS Moss, FJ Oles
Information and Computation 93 (1), 16-54, 1991
291991
Mathematical Foundations of Programming Semantics: 9th International Conference, New Orleans, LA, USA, April 7-10, 1993. Proceedings
S Brookes, M Main, A Melton, M Mislove, D Schmidt
Springer Science & Business Media, 1994
281994
Local product structures on homogeneous continua
MW Mislove, JT Rogers Jr
Topology and its Applications 31 (3), 259-267, 1989
241989
Symmetry in Fourier-Stieltjes algebras
JR Liukkonen, MW Mislove
Mathematische Annalen 217 (2), 97-112, 1975
241975
Topology and domain theory
K Martin, M Mislove, GM Reed
Recent Progress in General Topology II 2, 371, 2002
212002
The system can't perform the operation now. Try again later.
Articles 1–20