Michele Loreti

• Coordination Models and Languages
• Trustworthy Global Computing
• Models, Languages, and Tools for Concurrent and Distributed Programming