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 × 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 DBLP: Timmer:Mark

Contributed to:

TAP 20132013
TACAS 20112011

Wrote 2 papers:

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.

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.