Mislove, Michael W.
136  results:
Search for persons X
?
1

Semantic models for concurrency:

Mislove, Michael W.
ACM SIGSOFT Software Engineering Notes.  25 (2000)  1 - p. 65-66 , 2000
 
?
2

Local DCPOs, Local CPOs and Local Completions:

Mislove, Michael W.
Electronic Notes in Theoretical Computer Science.  20 (1999)  - p. 399-412 , 1999
 
?
3

Topology, domain theory and theoretical computer science:

Mislove, Michael W.
Topology and its Applications.  89 (1998)  1-2 - p. 3-59 , 1998
 
?
4

Foreword:

Mislove, Michael W. ; Schmidt, David A.
Theoretical Computer Science.  177 (1997)  1 - p. 1 , 1997
 
?
5

Using Duality to Solve Domain Equations:

Mislove, Michael W.
Electronic Notes in Theoretical Computer Science.  6 (1997)  - p. 255-271 , 1997
 
?
6

Semigroup theory and its applications 

proceedings of the 1994 conference commemorating the work o...  London Mathematical Society lecture note series ; 231
 
?
8

Denotational Models for Unbounded Nondeterminism:

Mislove, Michael W.
Electronic Notes in Theoretical Computer Science.  1 (1995)  - p. 393-410 , 1995
 
?
9

Full abstraction and recursion:

Mislove, Michael W. ; Oles, Frank J.
Theoretical Computer Science.  151 (1995)  1 - p. 207-256 , 1995
 
?
12

Local product structures on homogeneous continua:

Mislove, Michael W. ; Rogers Jr., James T.
Topology and its Applications.  31 (1989)  3 - p. 259-267 , 1989
 
?
13

Compact Extensions of Compactly Generated Nilpotent Groups ..:

Hofmann, Karl H. ; Liukkonen, John R. ; Mislove, Michael W.
Proceedings of the American Mathematical Society.  84 (1982)  3 - p. 443-448 , 1982
 
?
14

Local compactness and continuous lattices:

, In: Lecture Notes in Mathematics; Continuous Lattices,
Hofmann, Karl H. ; Mislove, Michael W. - p. 209-248 , 1981
 
?
15

Fourier-Stieltjes algebras of compact extensions of nilpote..:

Liukkonen, John R. ; Mislove, Michael W.
Journal für die reine und angewandte Mathematik.  325 (1981)  - p. , 1981
 
1-15