Javier Cubo, Carlos Canal, Ernesto Pimentel, Gwen Salaün. A formal model and composition language for context-aware service protocols. In Oscar Nierstrasz, editor, Proceedings of the first international workshop on Context-aware software technology and applications, CASTA@ESEC/SIGSOFT FSE 2009, Amsterdam, The Netherlands, August 24, 2009. pages 17-20, ACM, 2009. [doi]
Abstract is missing.