The conversation calculus: A model for service oriented computation. (2008)

by L Caires, H Viera
Venue:In Proc. of ESOP’08,