Gianluigi Zavattaro,Mario Bravetti,Leila Kloul

• Formal Techniques for Computer Systems and Business Processes