on Programming Languages and Systems Theory of Contracts for Web Services · 59 (2007)

by C Laneve, L Padovani
Venue:In 18th International Conference on Concurrency Theory. LNCS 4703