Preface Michele Bugliesi and Vladimiro Sassone | ||
Lambda-RBAC: Programming with Role-Based Access Control | ||
Radha Jagadeesan, Alan Jeffrey, Corin Pitcher and James Riely | ||
Lower Bounds for Complementation of omega-Automata Via the Full Automata Technique | ||
Qiqi Yan | ||
The Complexity of Enriched Mu-Calculi | ||
Piero A. Bonatti, Carsten Lutz, Aniello Murano and Moshe Y. Vardi | ||
Recursive Concurrent Stochastic Games | ||
Kousha Etessami and Mihalis Yannakakis | ||
The Wadge Hierarchy of Deterministic Tree Languages | ||
Filip Murlak | ||
Decidability of higher-order matching | ||
Colin Stirling | ||