Nalaka Gooneratne, Zahir Tari, James Harland. VGC: Generating Valid Global Communication Models of Composite Services Using Temporal Reasoning. In Athman Bouguettaya, Ingolf Krüger, Tiziana Margaria, editors, Service-Oriented Computing - ICSOC 2008, 6th International Conference, Sydney, Australia, December 1-5, 2008. Proceedings. Volume 5364 of Lecture Notes in Computer Science, pages 585-591, 2008. [doi]
Abstract is missing.