Items where Author is "Seco, João C."
Number of items: 2. 2011Caires, Luis and Pérez, Jorge A. and Seco, João C. and Torres Vieira, Hugo and Ferrão, Lúcio Type-based access control in data-centric systems. In: Programming Languages and Systems. Lecture Notes in Computer Science (6602). Springer, pp. 136-155. ISBN 978-3-642-19718-5 (2011) 2008Torres Vieira, Hugo and Caires, Luis and Seco, João C. The conversation calculus: a model of service-oriented computation. In: Programming Languages and Systems. Lecture notes in computer science (4960). Springer, pp. 269-283. ISBN 978-3-540-78739-6 (2008) |