Fixed points without completeness by Roscoe, A, Mislove, M, Schneider, S

INFINITE ANTICHAINS IN SEMILATTICES by Lawson, J, Mislove, M, Priestley, H

Labelled Markov Processes as Generalised Stochastic Relations by Mislove, M, Pavlovic, D, Worrell, J

Measuring the probabilistic powerdomain by Martin, K, Mislove, M, Worrell, J

Labelled Markov Processes as Generalised Stochastic Relations by Mislove, M, Pavlovic, D, Worrell, J

Testing semantics: Connecting processes and process logics by Pavlovic, D, Mislove, M, Worrell, J

Testing semantics: Connecting processes and process logics by Pavlovic, D, Mislove, M, Worrell, J

Measuring the probabilistic powerdomain by Martin, K, Mislove, M, Worrell, J

INFINITE ANTICHAINS AND DUALITY THEORIES by Lawson, J, Mislove, M, Priestley, H

Duality for Labelled Markov Processes by Mislove, M, Ouaknine, J, Pavlovic, D, Worrell, J

Geometry of abstraction in quantum computation by Dusko Pavlovic

Other Authors: “…Mislove, M…”