eprintid: 137 rev_number: 14 eprint_status: archive userid: 29 dir: disk0/00/00/01/37 datestamp: 2011-03-07 10:33:12 lastmod: 2014-01-24 14:18:26 status_changed: 2011-03-07 10:33:12 type: monograph metadata_visibility: show item_issues_count: 0 creators_name: Buscemi, Maria Grazia creators_name: Coppo, Mario creators_name: Dezani-Ciancaglini, Mariangiola creators_name: Montanari, Ugo creators_id: m.buscemi@imtlucca.it creators_id: creators_id: creators_id: title: Constraints for Service Contracts ispublished: submitted subjects: QA75 divisions: CSA full_text_status: none monograph_type: working_paper pres_type: paper date: 2011 date_type: submitted number: event_title: 38th International Colloquium on Automata, Languages and Programming (ICALP’11) event_location: Zürich, Switzerland event_dates: July 4th-8th, 2011 event_type: conference institution: IMT Institute for Advanced Studies Lucca refereed: FALSE citation: Buscemi, Maria Grazia and Coppo, Mario and Dezani-Ciancaglini, Mariangiola and Montanari, Ugo Constraints for Service Contracts. Working Paper # /2011 (Submitted)