Gianluigi Zavattaro

• CONCUR 2009 Concurrency Theory Lecture Notes in Computer Science
• Formal Methods for Web Services
• Web Services and Formal Methods
• Web services and formal methods
• CONCUR 2009 - Concurrency Theory
• Coordination Models and Languages
• Formal Methods for Computational Systems Biology
• Formal Methods for Web Services
• Formal Techniques for Computer Systems and Business Processes