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