relation: http://eprints.imtlucca.it/137/ title: Constraints for Service Contracts creator: Buscemi, Maria Grazia creator: Coppo, Mario creator: Dezani-Ciancaglini, Mariangiola creator: Montanari, Ugo subject: QA75 Electronic computers. Computer science date: 2011 type: Working Paper type: NonPeerReviewed identifier: Buscemi, Maria Grazia and Coppo, Mario and Dezani-Ciancaglini, Mariangiola and Montanari, Ugo Constraints for Service Contracts. Working Paper # /2011 (Submitted)