501f792f_gramming_Languages__QAPL_2007___Information_systems
[Language design] Coordination models [Asynchronous HW analysis] Scheduling theory [Information systems] 
Protocol analysis
M u l t i - t a s k i n g s y s t e m s
L o g i c
S e m a n t i c s
P e r f o r m a n c e a n a l y s i s
P r o g r a m a n a l y s i s
P r o t o c o l a n a l y s i s
M o d e l - c h e c k i n g
C o n c u r r e n t s y s t e m s
Fifth Workshop on Quantitative Aspects of Programming Languages (QAPL 2007)
Information systems