Michele Boreale

• Formal Techniques for Distributed Systems
• Models, Languages, and Tools for Concurrent and Distributed Programming