Maria Grazia Buscemi, Mario Coppo, Mariangiola Dezani-Ciancaglini, Ugo Montanari. Constraints for Service Contracts. In Roberto Bruni, Vladimiro Sassone, editors, Trustworthy Global Computing - 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers. Volume 7173 of Lecture Notes in Computer Science, pages 104-120, Springer, 2011. [doi]
Abstract is missing.