SLIDES OF 3 PRESENTATIONS AT WG 2.2 MEETING 2009 (BOLOGNA)
Rate-Based Transition Systems and Stochastic Process Algebras
Rocco De Nicola
Solving fixed point equations on omega-continuous semirings
Javier Esparza
Weak Alternating Timed Automata
Igor Walukiewicz