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 × Estonia
1 × France
Collaborated with:
P.R.D'Argenio E.P.d.Vink D.Gebler
Talks about:
probabilist (3) bisimul (3) congruenc (2) transit (2) system (2) abstract (1) equival (1) axiomat (1) specif (1) metric (1)

Person: Matias David Lee

DBLP DBLP: Lee:Matias_David

Contributed to:

QAPL 20152015
FoSSaCS 20142014
FOSSACS 20122012

Wrote 3 papers:

QAPL-2015-LeeV #bisimulation #branch #congruence #probability
Rooted branching bisimulation as a congruence for probabilistic transition systems (MDL, EPdV), pp. 79–94.
FoSSaCS-2014-DArgenioGL #axiom #bisimulation #metric #probability
Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules (PRD, DG, MDL), pp. 289–303.
FoSSaCS-2012-DArgenioL #abstraction #bisimulation #congruence #probability #specification
Probabilistic Transition System Specification: Congruence and Full Abstraction of Bisimulation (PRD, MDL), pp. 452–466.

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.