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: Lee:Matias_David
Contributed to:
2015
20142012Wrote 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.