G
Gianluigi Zavattaro
7 works on record
Works

CONCUR 2009 Concurrency Theory Lecture Notes in Computer Science

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