Inducing Specification of Interaction Protocols and Business Processes and Proving their Properties - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari. Inducing Specification of Interaction Protocols and Business Processes and Proving their Properties. In Matteo Baldoni, Cristina Baroglio, editors, Il Milione (i.e. 2&circ;6), Proceedings of the Day Dedicated to Prof. Alberto Martelli, Turin, Italy, June 3, 2008. Volume 487 of CEUR Workshop Proceedings, CEUR-WS.org, 2008. [doi]

This author has not been identified. Look up 'Marco Alberti' in GoogleThis author has not been identified. Look up 'Marco Gavanelli' in GoogleThis author has not been identified. Look up 'Evelina Lamma' in GoogleThis author has not been identified. Look up 'Fabrizio Riguzzi' in GoogleThis author has not been identified. Look up 'Sergio Storari' in Google

runs on WebDSL