BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Mislove:Michael_W=

Contributed to:

ICALP 20052005
FoSSaCS 20042004
FoSSaCS 20032003
ICALP 20022002
CSL 19991999
FoSSaCS 19981998
LICS 19891989

Wrote 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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.