Luís Caires · 4 obras en el catálogoObrasAutomata, Languages and Programming (vol. # 3580)Programming Languages and SystemsFormal Techniques for Distributed Objects, Components, and SystemsCCONCUR 2007 - Concurrency TheoryCONCUR 2007 - Concurrency Theory