Alberto Lluch Lafuente

• Trustworthy Global Computing
• Coordination Models and Languages
• Formal Methods for Industrial Critical Systems
• Internet e Web 2.0