Vieira, Hugo T., L. Caires, and J. C. Seco. "The Conversation Calculus: A Model of Service Oriented Computation." Programming Languages and Systems, 17th European Symposium on Programming, ESOP 2008. Ed. Sophia Drossopoulou. Lecture Notes in Computer Science. Springer-Verlag, 2008.
Caires, L., Jorge A. Perez, J. C. Seco, Hugo T. Vieira, and Lúcio Ferrão. "Type-based Access Control in Data-Centric Systems." Programming Languages and Systems, 20th European Symposium on Programming, ESOP 2011. Ed. Gilles Barthe. Lecture Notes in Computer Science. Springer-Verlag, 2011.