@InProceedings{	  CarpinetiCastagnaLanevePadovani06,
  author	= {Samuele Carpineti and Giuseppe Castagna and Cosimo Laneve
		  and Luca Padovani},
  title		= {{A} {F}ormal {A}ccount of {C}ontracts for {W}eb
		  {S}ervices},
  booktitle	= {3rd International Workshop on Web Services and Formal
		  Methods (WS-FM'06)},
  year		= {2006},
  volume	= {LNCS 4184},
  pages		= {148-162},
  publisher	= {Springer},
  url		= {http://www.di.unito.it/~padovani/Papers/lncs_4184.pdf},
  doi		= {10.1007/11841197\_10},
  abstract	= {We define a formal contract language along with
		  subcontract and compliance relations. We then extrapolate
		  contracts out of processes, that are a recursion-free
		  fragment of \textsc{ccs}. We finally demonstrate that a
		  client completes its interactions with a service provided
		  the corresponding contracts comply. Our contract language
		  may be used as a foundation of Web services technologies,
		  such as \textsc{wsdl} and \textsc{wscl}.}
}