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ˆ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]
No references recorded for this publication.
No citations of this publication recorded.