A compendium of continous lattices. - Gerhard Gierz; Karl Heinrich Hofmann; Klaus Keimel; Jimmie D. Lawson; Michael W. Mislove (Springer, 1980)

Detecting Local Finite Breadth in Continuous Lattices and Semilattices. - Michael W. Mislove (Mathematical Foundations of Programming Semantics, 1985)

On the Smyth Power Domain. - Michael W. Mislove (MFPS, 1987)

Ordered sets with no infinite antichains. - Jimmie D. Lawson; Michael W. Mislove; Hilary A. Priestley (Discret. Math., 1987)

Non-Well-Founded Sets Obtained from Ideal Fixed Points - Michael W. Mislove; Lawrence S. Moss; Frank J. Oles (LICS, 1989)

A Simple Language Supporting Angelic Nondeterminism and Parallel Composition. - Michael W. Mislove; Frank J. Oles (MFPS, 1991)

Non-Well-Founded Sets Modeled as Ideal Fixed Points - Michael W. Mislove; Lawrence S. Moss; Frank J. Oles (Inf. Comput., 1991)

Full Abstraction and Unnested Recursion. - Michael W. Mislove; Frank J. Oles (REX Workshop, 1992)

Foreword and Dedication. - Stephen D. Brookes; Michael G. Main; Austin Melton; Michael W. Mislove (MFPS, 1995)

Denotational models for unbounded nondeterminism. - Michael W. Mislove (MFPS, 1995)

All Compact Hausdorff Lambda Models are Degenerate. - Karl Heinz Hofmann; Michael W. Mislove (Fundam. Informaticae, 1995)

Adjunctions Between Categories of Domains. - Michael W. Mislove; Frank J. Oles (Fundam. Informaticae, 1995)

Full Abstraction and Recursion. - Michael W. Mislove; Frank J. Oles (Theor. Comput. Sci., 1995)

Fixed Points Without Completeness. - Michael W. Mislove; A. W. Roscoe 001; Steve A. Schneider (Theor. Comput. Sci., 1995)

Foreword. - Stephen D. Brookes; Michael G. Main; Austin Melton; Michael W. Mislove (MFPS, 1997)

Preface. - Rance Cleaveland; Michael W. Mislove; Philip S. Mulry (US-Brazil Joint Workshops on the Formal Foundations of Software Systems, 1997)

Using duality to solve domain equations. - Michael W. Mislove (MFPS, 1997)

Generalizing Domain Theory. - Michael W. Mislove (FoSSaCS, 1998)

A Truly Concurrent Semantics for a Simple Parallel Programming Language. - Paul Gastin; Michael W. Mislove (CSL, 1999)

Trace Theory and State Explosion. - Michael W. Mislove (PDPTA, 1999)

Preface. - Stephen D. Brookes; Achim Jung; Michael W. Mislove; Andre Scedrov (MFPS, 1999)

Local Dcpos, Local Cpos and Local Completions. - Michael W. Mislove (MFPS, 1999)

Nondeterminism and Probabilistic Choice: Obeying the Laws. - Michael W. Mislove (CONCUR, 2000)

Models Supporting Nondeterminism and Probabilistic Choice. - Michael W. Mislove (IPDPS Workshops, 2000)

Semantic models for concurrency. - Michael W. Mislove (ACM SIGSOFT Softw. Eng. Notes, 2000)

Modern Algebra - Foreword. - Klaus Keimel; Michael W. Mislove; Constantine Tsinakis (Theor. Comput. Sci., 2000)

Preface. - Stephen D. Brookes; Michael W. Mislove (MFPS, 2001)

25 Years. - Giorgio Ausiello; Donald Sannella; Michael W. Mislove (Theor. Comput. Sci., 2001)

Foreword - MFPS 1996. - Stephen D. Brookes; Michael W. Mislove (Theor. Comput. Sci., 2002)

Dedication. - Stephen D. Brookes; Michael W. Mislove (Theor. Comput. Sci., 2002)

A truly concurrent semantics for a process algebra using resource pomsets. - Paul Gastin; Michael W. Mislove (Theor. Comput. Sci., 2002)

An Intrinsic Characterization of Approximate Probabilistic Bisimilarity. - Franck van Breugel; Michael W. Mislove; Joël Ouaknine; James Worrell 001 (FoSSaCS, 2003)

Editorial. - Michael W. Mislove (CMCIM/GETCO@CONCUR, 2003)

Axioms for Probability and Nondeterminism. - Michael W. Mislove; Joël Ouaknine; James Worrell 001 (EXPRESS, 2003)

Duality for Labelled Markov Processes. - Michael W. Mislove; Joël Ouaknine; Dusko Pavlovic; James Worrell 001 (FoSSaCS, 2004)

A simple process algebra based on atomic actions with resources. - Paul Gastin; Michael W. Mislove (Math. Struct. Comput. Sci., 2004)

Measuring the probabilistic powerdomain. - Keye Martin; Michael W. Mislove; James Worrell 001 (Theor. Comput. Sci., 2004)

Mathematical Foundations of Programming Semantics: Papers from MFPS 14 and MFPS 16. - Michael W. Mislove (Theor. Comput. Sci., 2004)

Preface. - Martín Hötzel Escardó; Achim Jung; Michael W. Mislove (MFPS, 2005)

On Combining Probability and Nondeterminism. - Michael W. Mislove (APC 25, 2005)

Domain theory, testing and simulation for labelled Markov processes. - Franck van Breugel; Michael W. Mislove; Joël Ouaknine; James Worrell 001 (Theor. Comput. Sci., 2005)

Testing Semantics: Connecting Processes and Process Logics. - Dusko Pavlovic; Michael W. Mislove; James Worrell 001 (AMAST, 2006)

Editor's Note. - Michael W. Mislove (PDPAR/PaUL@FLoC, 2006)

Monoids over domains. - Michael W. Mislove (Math. Struct. Comput. Sci., 2006)

Preface. - Sergei N. Artëmov; Michael W. Mislove (Theor. Comput. Sci., 2006)

Labelled Markov Processes as Generalised Stochastic Relations. - Michael W. Mislove; Dusko Pavlovic; James Worrell 001 (Computation, Meaning, and Logic, 2007)

Continuous Lattices and Domains. - Ulrich Berger 001; Gerhard Gierz; Karl Heinrich Hofmann; Klaus Keimel; Jimmie D. Lawson; Michael W. Mislove; Dana S. Scott (Stud Logica, 2007)

Discrete random variables over domains. - Michael W. Mislove (Theor. Comput. Sci., 2007)

Preface. - Andrej Bauer; Michael W. Mislove (MFPS, 2008)

10232 Report - The Semantics of Information. - Keye Martin; Michael W. Mislove (The Semantics of Information, 2010)

Reasoning about Probabilistic Security Using Task-PIOAs. - Aaron D. Jaggard; Catherine Meadows 001; Michael W. Mislove; Roberto Segala (ARSPA-WITS, 2010)

Preface. - Michael W. Mislove; Peter Selinger (MFPS, 2010)

Preface. - Michael W. Mislove (Theor. Comput. Sci., 2010)

Probabilistic Monads, Domains and Classical Information - Michael W. Mislove (DCM, 2011)

Preface. - Michael W. Mislove; Joël Ouaknine (MFPS, 2011)

Information Flow and Its Applications (Dagstuhl Seminar 12352). - Samson Abramsky; Jean Krivine; Michael W. Mislove (Dagstuhl Reports, 2012)

Preface. - Ulrich Berger 001; Michael W. Mislove (MFPS, 2012)

Dedication. - Stephen D. Brookes; Achim Jung; Catherine Meadows 001; Michael W. Mislove; Prakash Panangaden (MFPS, 2012)

Preface. - Samson Abramsky; Michael W. Mislove; Catuscia Palamidessi (Theor. Comput. Sci., 2012)

Anatomy of a Domain of Continuous Random Variables II. - Michael W. Mislove (Computation, Logic, Games, and Quantum Foundations, 2013)

Preface. - Dexter Kozen; Michael W. Mislove (MFPS, 2013)

Preface. - Ying-ming Liu; Mao-kang Luo; Michael W. Mislove; Guo-Qiang Zhang 001 (ISDT, 2013)

Information Security as a Resource. - Ed Blakey; Bob Coecke; Michael W. Mislove; Dusko Pavlovic (Inf. Comput., 2013)

From Haar to Lebesgue via Domain Theory. - Will Brian; Michael W. Mislove (Horizons of the Mind, 2014)

Anatomy of a domain of continuous random variables I. - Michael W. Mislove (Theor. Comput. Sci., 2014)

From Haar to Lebesgue via Domain Theory, Revised version. - Will Brian; Michael W. Mislove (CoRR, 2015)

Domains and Random Variables. - Michael W. Mislove (CoRR, 2016)

Semantics column. - Michael W. Mislove; Prakash Panangaden (ACM SIGLOG News, 2016)

Discrete Random Variables Over Domains, Revisited. - Michael W. Mislove (Concurrency, Security, and Puzzles, 2017)

Semantics column. - Michael W. Mislove (ACM SIGLOG News, 2017)

Enriching a Linear/Non-linear Lambda Calculus: A Programming Language for String Diagrams. - Bert Lindenhovius; Michael W. Mislove; Vladimir Zamdzhiev (LICS, 2018)

Mixed linear and non-linear recursive types. - Bert Lindenhovius; Michael W. Mislove; Vladimir Zamdzhiev (Proc. ACM Program. Lang., 2019)

Completing Simple Valuations in K-categories. - Xiaodong Jia 002; Michael W. Mislove (CoRR, 2020)

Quantum CPOs. - Andre Kornell; Bert Lindenhovius; Michael W. Mislove (QPL, 2020)

Domains and stochastic processes. - Michael W. Mislove (Theor. Comput. Sci., 2020)

The Central Valuations Monad (Early Ideas). - Xiaodong Jia 002; Michael W. Mislove; Vladimir Zamdzhiev (CALCO, 2021)

Commutative Monads for Probabilistic Programming Languages. - Xiaodong Jia 002; Bert Lindenhovius; Michael W. Mislove; Vladimir Zamdzhiev (LICS, 2021)

The Central Valuations Monad. - Xiaodong Jia 002; Michael W. Mislove; Vladimir Zamdzhiev (CoRR, 2021)

LNL-FPC: The Linear/Non-linear Fixpoint Calculus. - Bert Lindenhovius; Michael W. Mislove; Vladimir Zamdzhiev (Log. Methods Comput. Sci., 2021)

Semantics for variational Quantum programming. - Xiaodong Jia 002; Andre Kornell; Bert Lindenhovius; Michael W. Mislove; Vladimir Zamdzhiev (Proc. ACM Program. Lang., 2022)

Categories of quantum cpos. - Andre Kornell; Bert Lindenhovius; Michael W. Mislove (CoRR, 2024)