Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Mislove, Michael - Department of Mathematics, Tulane University
Variations on an Interval Domain Theme
Testing Semantics: Processes vs Logics
EXPRESS 2003 Preliminary Version Axioms for Probability and Nondeterminism
Testing Semantics: Connecting Processes and Process Logics
A Truly Concurrent Semantics for a Simple Parallel Programming Language
Adjunctions Between Categories of Domains Michael W. Mislove3
The Setting Task Probabilistic Input/Output Automata
DOMAINS, DUALITIES THEORETICAL
RandomVariables over Domains
Theoretical Computer Sceince, to appear Discrete Random Variables Over Domains
Discrete Random Variables Over Domains M. W. Mislove 1
Under consideration for publication in Math. Struct. in Comp. Science Monoids Over Domains
LINEAR FS-LATTICES AND THEIR CHARACTERIZATION VIA FUNCTION SPACES
Draft (14 June 2003) An Intrinsic Characterization of
Notes on DIMACS Work Aaron Jaggard, Catherine Meadows, Michael Mislove, Roberto Segala
Draft (1997) URL: http://www.math.tulane.edu/mwm/topandcs.ps.gz 55 pages
Reasoning About Probabilistic Security Using Task-PIOAs
Corrigendum to Topology, Domain Theory and Theoretical
Probabilistic Automata, Probabilistic Models and Crypto-protocols
All Compact Hausdor Lambda Models are Degenerate
Random Bits of Noise Michael W. Mislove
