Travelled to:1 × Germany
1 × Hungary
Collaborated with:M.Stoelinga W.G.J.Stokkink J.v.d.Pol
Talks about:system (2) probabilist (1) quiescent (1) confluenc (1) transit (1) reduct (1) diverg (1)
Person: Mark Timmer
DBLP: Timmer:Mark
Contributed to:
2013
2011Wrote 2 papers:
- TAP-2013-StokkinkTS
- Divergent Quiescent Transition Systems (WGJS, MT, MS), pp. 214–231.
- TACAS-2011-TimmerSP #confluence #probability #reduction
- Confluence Reduction for Probabilistic Systems (MT, MS, JvdP), pp. 311–325.