Mathematical Foundations of Programming Semantics: 5th International Conference Tulane University, New Orleans, Louisiana, USA March 29–April 1, 1989 Proceedings von Main, M, Melton, A, Mislove, M, Schmidt, D

Volltext

Mathematical Foundations of Programming Language Semantics: 3rd Workshop Tulane University, New Orleans, Louisiana, USA April 8–10, 1987 Proceedings von Main, M, Melton, A, Mislove, M, Schmidt, D

Volltext

The Pontryagin Duality of Compact o-Dimensional Semilattices and Its Applications von Hofmann, K.H, Mislove, M, Stralka, A

Volltext

Every infinite compact group can have a non-measurable subgroup von Brian, W.R., Mislove, M.W.

Volltext

Discrete Random Variables over Domains von Mislove, M. W.

Volltext

Domain theory, testing and simulation for labelled Markov processes von van Breugel, Franck, Mislove, Michael, Ouaknine, Joël, Worrell, James

Volltext

Monoids over domains von MISLOVE, MICHAEL

Volltext

Models Supporting Nondeterminism and Probabilistic Choice von Mislove, Michael

Volltext

Fixed points without completeness von Mislove, M.W, Roscoe, A.W, Schneider, S.A

Volltext

A Compendium of Continuous Lattices von Gierz, G

Volltext

Nondeterminism and Probabilistic Choice: Obeying the Laws von Mislove, Michael

Volltext

A truly concurrent semantics for a process algebra using resource pomsets von Gastin, Paul, Mislove, Michael

Volltext

Full abstraction and recursion von Mislove, Michael W., Oles, Frank J.

Volltext

Measuring the probabilistic powerdomain von Martin, Keye, Mislove, Michael, Worrell, James

Volltext

Mathematical Foundations of Programming Semantics von BROOKES, S, MISLOVE, M

Volltext

Duality for Labelled Markov Processes von Mislove, Michael, Ouaknine, Joël, Pavlovic, Dusko, Worrell, James

Volltext

An Intrinsic Characterization of Approximate Probabilistic Bisimilarity von van Breugel, Franck, Mislove, Michael, Ouaknine, Joël, Worrell, James

Volltext

A truly concurrent semantics for a simple parallel programming language von GASTIN, P, MISLOVE, M

Volltext

A simple process algebra based on atomic actions with resources von GASTIN, PAUL, MISLOVE, MICHAEL

Volltext

Generalizing domain theory von Mislove, Michael

Volltext