| 09:00
| Resource Control for Synchronous Cooperative Threads
|
|
Roberto M. Amadio and Silvano Dal Zilio |
|
| 09:30
| Compiling Pattern Matching in Join-Patterns
|
| 10:00
| muABC: A Minimal Aspect Calculus
|
|
Glenn Bruns, Radha Jagadeesan, Alan Jeffrey, James Riely |
|
| 10:30 | Break
|
| 11:00
| Deciding Probabilistic Bisimilarity over Infinite-State Probabilistic Systems
|
|
T. Brazdil, A. Kucera, O. Strazovsky |
|
| 11:30
| Extended Process Rewrite Systems: Expressiveness and Reachability
|
|
Mojmir Kretinsky, Vojtech Rehak, Jan Strejcek |
|
| 12:00
| Parameterised boolean equation systems (extended abstract)
|
|
Jan Friso Groote and Tim A.C. Willemse |
|
| 12:30
| Characterizing EF and EX tree logics
|
|
Mikolaj Bojanczyk Igor Walukiewicz |
|
| 13:00 | Lunch
|
| 14:30
| Model Checking Restricted Sets of Timed Paths
|
|
N. Markey and J.-F. Raskin |
|
| 15:00
| Model Checking Timed Automata with One or Two Clocks
|
|
F. Laroussinie, N. Markey, Ph. Schnoebelen |
|
| 15:30
| Timed vs Time-Triggered Automata
|
|
Pavel Krcal, Leonid Mokrushin, P.S. Thiagarajan and Wang Yi |
|
| 16:00 | Break
|
| 16:30
| Tutorial Regular Model Checking
|
| 18:00 | End
|