Travelled to:1 × Poland
1 × USA
2 × Portugal
3 × Spain
Collaborated with:∅ J.Worrell J.Ouaknine P.Gastin K.Martin L.S.Moss F.J.Oles D.Pavlovic F.v.Breugel
Talks about:probabilist (2) domain (2) powerdomain (1) character (1) bisimilar (1) parallel (1) approxim (1) variabl (1) program (1) process (1)
Person: Michael W. Mislove
DBLP: Mislove:Michael_W=
Contributed to:
2005
200420032002
19991998
1989Wrote 7 papers:
- ICALP-2005-Mislove #random
- Discrete Random Variables over Domains (MWM), pp. 1006–1017.
- FoSSaCS-2004-MisloveOPW #markov #process
- Duality for Labelled Markov Processes (MWM, JO, DP, JW), pp. 393–407.
- FoSSaCS-2003-BreugelMOW #approximate #probability #similarity
- An Intrinsic Characterization of Approximate Probabilistic Bisimilarity (FvB, MWM, JO, JW), pp. 200–215.
- ICALP-2002-MartinMW #probability
- Measuring the Probabilistic Powerdomain (KM, MWM, JW), pp. 463–475.
- CSL-1999-GastinM #concurrent #parallel #programming language #semantics
- A Truly Concurrent Semantics for a Simple Parallel Programming Language (PG, MWM), pp. 515–529.
- FoSSaCS-1998-Mislove
- Generalizing Domain Theory (MWM), pp. 1–19.
- LICS-1989-MisloveMO #fixpoint #set
- Non-Well-Founded Sets Obtained from Ideal Fixed Points (MWM, LSM, FJO), pp. 263–272.