Folgen
Michael Mislove
Titel
Zitiert von
Zitiert von
Jahr
Continuous lattices and domains
G Gierz, KH Hofmann, K Keimel, JD Lawson, M Mislove, DS Scott
Cambridge university press, 2003
25072003
A Compendium of Continuous Lattices
G Gierz, KH Hofmann, K Keimel, JD Lawson, M Mislove, DS Scott
Springer, Berlin, 1980
2319*1980
The Pontryagin duality of compact O-dimensional semilattices and its applications
KH Hofmann, M Mislove, A Stralka
Springer, 2006
1852006
Local compactness and continuous lattices
KH Hofmann, MW Mislove
Continuous Lattices: Proceedings of the Conference on Topological and …, 2006
1792006
Topology, domain theory and theoretical computer science
MW Mislove
Topology and its Applications 89 (1-2), 3-59, 1998
1421998
Nondeterminism and probabilistic choice: Obeying the laws
M Mislove
International Conference on Concurrency Theory, 350-365, 2000
1002000
Axioms for probability and nondeterminism
M Mislove, J Ouaknine, J Worrell
Electronic Notes in Theoretical Computer Science 96, 7-28, 2004
892004
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
742005
Testing semantics: Connecting processes and process logics
D Pavlovic, M Mislove, JB Worrell
Algebraic Methodology and Software Technology: 11th International Conference …, 2006
512006
Problems in domain theory and topology
JD Lawson, M Mislove
Open Problems in Topology, North-Holland, Amsterdam, 349-372, 1990
511990
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
442003
Local DCPOs, local CPOs and local completions
MW Mislove
Electronic Notes in Theoretical Computer Science 20, 399-412, 1999
381999
Fixed points without completeness
MW Mislove, AW Roscoe, SA Schneider
Theoretical Computer Science 138 (2), 273-314, 1995
381995
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
332018
Duality for labelled Markov processes
M Mislove, J Ouaknine, D Pavlovic, J Worrell
Foundations of Software Science and Computation Structures: 7th …, 2004
332004
Algebraic posets, algebraic cpo's and models of concurrency
MW Mislove
Topology and category theory in computer science, 75-111, 1991
291991
Mathematical Foundations of Programming Semantics: 9th International Conference, New Orleans, LA, USA, April 7-10, 1993. Proceedings
S Brookes
Springer Science & Business Media, 1994
271994
Non-well-founded sets modeled as ideal fixed points
MW Mislove, LS Moss, FJ Oles
Information and Computation 93 (1), 16-54, 1991
271991
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
251975
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20