167
Voted
CONCUR
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. We define a language for Web services contracts as a parallelfree fragment of ccs and we study a natural notion of compliance between clients and services in terms of th...