Alessandra Cherubini, Enzo Colombo, Chiara Francalanci, Paola Spoletini. A formal approach supporting the specification and verification of business conversation requirements. In Nuno Guimarães, Pedro T. Isaías, editors, AC 2005, Proceedings of the IADIS International Conference on Applied Computing, Algarve, Portugal, February 22-25, 2005, 2 Volumes. pages 467-478, IADIS, 2005.
Abstract is missing.