SPECIAL ISSUE:
Selected Papers of the Conference ''International Colloquium on Automata, Languages and Programming 2006''
Venice, Italy, 2006



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



DOI: 10.2168/LMCS-ICALP:2006

Creative Commons