The Conversation Calculus: A Model of ServiceOriented Computation. (2008)

by H Vieira, L Caires, J Seco
Venue:ESOP 2008, 17th European Symposium on Programming, Proceedings,