Michael W. Mislove

Publication Activity (10 Years)

Years Active: 1985-2024
Publications (10 Years): 28

Top Topics

Random Variables

Top Venues

ACM SIGLOG News

Proc. ACM Program. Lang.

Publications

Andre Kornell, Bert Lindenhovius, Michael W. Mislove
Categories of quantum cpos. CoRR (2024)
Xiaodong Jia, Andre Kornell, Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev
Semantics for variational Quantum programming. Proc. ACM Program. Lang. 6 (POPL) (2022)
Michael W. Mislove
Semantics column. ACM SIGLOG News 9 (2) (2022)
Xiaodong Jia, Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev
Commutative Monads for Probabilistic Programming Languages. CoRR (2021)
Xiaodong Jia, Andre Kornell, Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev
Semantics for Variational Quantum Programming. CoRR (2021)
Xiaodong Jia, Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev
Commutative Monads for Probabilistic Programming Languages. LICS (2021)
Xiaodong Jia, Michael W. Mislove, Vladimir Zamdzhiev
The Central Valuations Monad. CoRR (2021)
Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev
LNL-FPC: The Linear/Non-linear Fixpoint Calculus. Log. Methods Comput. Sci. 17 (2) (2021)
Xiaodong Jia, Michael W. Mislove, Vladimir Zamdzhiev
The Central Valuations Monad (Early Ideas). CALCO (2021)
Andre Kornell, Bert Lindenhovius, Michael W. Mislove
Quantum CPOs. QPL (2020)
Xiaodong Jia, Michael W. Mislove
Completing Simple Valuations in K-categories. CoRR (2020)
Michael W. Mislove
Domains and stochastic processes. Theor. Comput. Sci. 807 (2020)
Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev
Mixed Linear and Non-linear Recursive Types. CoRR (2019)
Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev
Mixed linear and non-linear recursive types. Proc. ACM Program. Lang. 3 (ICFP) (2019)
Michael W. Mislove
Semantics column. ACM SIGLOG News 6 (2) (2019)
Michael W. Mislove
Semantics column. ACM SIGLOG News 5 (3) (2018)
Michael W. Mislove
Domains and Stochastic Processes. CoRR (2018)
Michael W. Mislove
Semantics column. ACM SIGLOG News 5 (2) (2018)
Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev
Enriching a Linear/Non-linear Lambda Calculus: A Programming Language for String Diagrams. CoRR (2018)
Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev
Enriching a Linear/Non-linear Lambda Calculus: A Programming Language for String Diagrams. LICS (2018)
Michael W. Mislove
Semantics column. ACM SIGLOG News 4 (3) (2017)
Michael W. Mislove
Semantics column. ACM SIGLOG News 4 (1) (2017)
Michael W. Mislove
Discrete Random Variables Over Domains, Revisited. Concurrency, Security, and Puzzles (2017)
Michael W. Mislove
Semantics column. ACM SIGLOG News 4 (4) (2017)
Michael W. Mislove
Semantics column. ACM SIGLOG News 3 (2) (2016)
Michael W. Mislove, Prakash Panangaden
Semantics column. ACM SIGLOG News 3 (3) (2016)
Michael W. Mislove
Domains and Random Variables. CoRR (2016)
Michael W. Mislove
Semantics column. ACM SIGLOG News 3 (1) (2016)
Will Brian, Michael W. Mislove
From Haar to Lebesgue via Domain Theory, Revised version. CoRR (2015)
Michael W. Mislove
Semantics column. ACM SIGLOG News 2 (2) (2015)
Michael W. Mislove
Semantics column. ACM SIGLOG News 1 (1) (2014)
Will Brian, Michael W. Mislove
From Haar to Lebesgue via Domain Theory. Horizons of the Mind (2014)
Michael W. Mislove
Anatomy of a domain of continuous random variables I. Theor. Comput. Sci. 546 (2014)
Ed Blakey, Bob Coecke, Michael W. Mislove, Dusko Pavlovic
Information Security as a Resource. Inf. Comput. 226 (2013)
Michael W. Mislove
Anatomy of a Domain of Continuous Random Variables II. Computation, Logic, Games, and Quantum Foundations (2013)
Ying-ming Liu, Mao-kang Luo, Michael W. Mislove, Guo-Qiang Zhang
Preface. ISDT (2013)
Dexter Kozen, Michael W. Mislove
Preface. MFPS (2013)
Samson Abramsky, Michael W. Mislove, Catuscia Palamidessi
Preface. Theor. Comput. Sci. 430 (2012)
Stephen D. Brookes, Achim Jung, Catherine A. Meadows, Michael W. Mislove, Prakash Panangaden
Dedication. MFPS (2012)
Samson Abramsky, Jean Krivine, Michael W. Mislove
Information Flow and Its Applications (Dagstuhl Seminar 12352). Dagstuhl Reports 2 (8) (2012)
Ulrich Berger, Michael W. Mislove
Preface. MFPS (2012)
Michael W. Mislove
Probabilistic Monads, Domains and Classical Information DCM (2011)
Michael W. Mislove, Joël Ouaknine
Preface. MFPS (2011)
Michael W. Mislove, Peter Selinger
Preface. MFPS (2010)
Keye Martin, Michael W. Mislove
10232 Report - The Semantics of Information. The Semantics of Information (2010)
Michael W. Mislove
Preface. Theor. Comput. Sci. 411 (19) (2010)
Aaron D. Jaggard, Catherine A. Meadows, Michael W. Mislove, Roberto Segala
Reasoning about Probabilistic Security Using Task-PIOAs. ARSPA-WITS (2010)
Samson Abramsky, Michael W. Mislove, Catuscia Palamidessi
Preface. MFPS (2009)
Andrej Bauer, Michael W. Mislove
Preface. MFPS (2008)
Michael W. Mislove
Editor's Note. Electron. Notes Theor. Comput. Sci. 174 (8) (2007)
Michael W. Mislove, Dusko Pavlovic, James Worrell
Labelled Markov Processes as Generalised Stochastic Relations. Electron. Notes Theor. Comput. Sci. 172 (2007)
Michael W. Mislove
Discrete random variables over domains. Theor. Comput. Sci. 380 (1-2) (2007)
Ulrich Berger, Gerhard Gierz, Karl Heinrich Hofmann, Klaus Keimel, Jimmie D. Lawson, Michael W. Mislove, Dana S. Scott
Continuous Lattices and Domains. Stud Logica 86 (1) (2007)
Dusko Pavlovic, Michael W. Mislove, James Worrell
Testing Semantics: Connecting Processes and Process Logics. AMAST (2006)
Stephen D. Brookes, Michael W. Mislove
Preface. MFPS (2006)
Michael W. Mislove
On Combining Probability and Nondeterminism. Electron. Notes Theor. Comput. Sci. 162 (2006)
Sergei N. Artëmov, Michael W. Mislove
Preface. Theor. Comput. Sci. 357 (1-3) (2006)
Michael W. Mislove
Monoids over domains. Math. Struct. Comput. Sci. 16 (2) (2006)
Franck van Breugel, Michael W. Mislove, Joël Ouaknine, James Worrell
Domain theory, testing and simulation for labelled Markov processes. Theor. Comput. Sci. 333 (1-2) (2005)
Martín Hötzel Escardó, Achim Jung, Michael W. Mislove
Preface. MFPS (2005)
Michael W. Mislove
Discrete Random Variables over Domains. ICALP (2005)
Michael W. Mislove
Mathematical Foundations of Programming Semantics: Papers from MFPS 14 and MFPS 16. Theor. Comput. Sci. 315 (1) (2004)
Michael W. Mislove, Joël Ouaknine, Dusko Pavlovic, James Worrell
Duality for Labelled Markov Processes. FoSSaCS (2004)
Michael W. Mislove
Editorial. Electron. Notes Theor. Comput. Sci. 100 (2004)
Keye Martin, Michael W. Mislove, James Worrell
Measuring the probabilistic powerdomain. Theor. Comput. Sci. 312 (1) (2004)
Paul Gastin, Michael W. Mislove
A simple process algebra based on atomic actions with resources. Math. Struct. Comput. Sci. 14 (1) (2004)
Michael W. Mislove, Joël Ouaknine, James Worrell
Axioms for Probability and Nondeterminism. EXPRESS (2003)
Franck van Breugel, Michael W. Mislove, Joël Ouaknine, James Worrell
An Intrinsic Characterization of Approximate Probabilistic Bisimilarity. FoSSaCS (2003)
Paul Gastin, Michael W. Mislove
A truly concurrent semantics for a process algebra using resource pomsets. Theor. Comput. Sci. 281 (1-2) (2002)
Keye Martin, Michael W. Mislove, James Worrell
Measuring the Probabilistic Powerdomain. ICALP (2002)
Stephen D. Brookes, Michael W. Mislove
Dedication. Theor. Comput. Sci. 278 (1-2) (2002)
Stephen D. Brookes, Michael W. Mislove
Foreword - MFPS 1996. Theor. Comput. Sci. 278 (1-2) (2002)
Stephen D. Brookes, Michael W. Mislove
Preface. MFPS (2001)
Giorgio Ausiello, Donald Sannella, Michael W. Mislove
25 Years. Theor. Comput. Sci. 250 (1-2) (2001)
Michael W. Mislove
Models Supporting Nondeterminism and Probabilistic Choice. IPDPS Workshops (2000)
Michael W. Mislove
Nondeterminism and Probabilistic Choice: Obeying the Laws. CONCUR (2000)
Klaus Keimel, Michael W. Mislove, Constantine Tsinakis
Modern Algebra - Foreword. Theor. Comput. Sci. 249 (1) (2000)
Michael W. Mislove
Semantic models for concurrency. ACM SIGSOFT Softw. Eng. Notes 25 (1) (2000)
Stephen D. Brookes, Achim Jung, Michael W. Mislove, Andre Scedrov
Preface. MFPS (1999)
Michael W. Mislove
Trace Theory and State Explosion. PDPTA (1999)
Michael W. Mislove
Local Dcpos, Local Cpos and Local Completions. MFPS (1999)
Paul Gastin, Michael W. Mislove
A Truly Concurrent Semantics for a Simple Parallel Programming Language. CSL (1999)
Michael W. Mislove
Generalizing Domain Theory. FoSSaCS (1998)
Rance Cleaveland, Michael W. Mislove, Philip S. Mulry
Preface. Electron. Notes Theor. Comput. Sci. 14 (1998)
Michael W. Mislove
Using duality to solve domain equations. MFPS (1997)
Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove
Foreword. MFPS (1997)
Michael W. Mislove, Frank J. Oles
Adjunctions Between Categories of Domains. Fundam. Informaticae 22 (1/2) (1995)
Michael W. Mislove, Frank J. Oles
Full Abstraction and Recursion. Theor. Comput. Sci. 151 (1) (1995)
Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove
Foreword and Dedication. MFPS (1995)
Michael W. Mislove, A. W. Roscoe, Steve A. Schneider
Fixed Points Without Completeness. Theor. Comput. Sci. 138 (2) (1995)
Michael W. Mislove
Denotational models for unbounded nondeterminism. MFPS (1995)
Karl Heinz Hofmann, Michael W. Mislove
All Compact Hausdorff Lambda Models are Degenerate. Fundam. Informaticae 22 (1/2) (1995)
Michael W. Mislove, Frank J. Oles
Full Abstraction and Unnested Recursion. REX Workshop (1992)
Michael W. Mislove, Lawrence S. Moss, Frank J. Oles
Non-Well-Founded Sets Modeled as Ideal Fixed Points Inf. Comput. 93 (1) (1991)
Michael W. Mislove, Frank J. Oles
A Simple Language Supporting Angelic Nondeterminism and Parallel Composition. MFPS (1991)
Michael W. Mislove, Lawrence S. Moss, Frank J. Oles
Non-Well-Founded Sets Obtained from Ideal Fixed Points LICS (1989)
Jimmie D. Lawson, Michael W. Mislove, Hilary A. Priestley
Ordered sets with no infinite antichains. Discret. Math. 63 (2-3) (1987)
Michael W. Mislove
On the Smyth Power Domain. MFPS (1987)
Michael W. Mislove
Detecting Local Finite Breadth in Continuous Lattices and Semilattices. Mathematical Foundations of Programming Semantics (1985)