Browsing by Author Vieira, Hugo Torres
Showing results 4 to 4 of 4
< previous
Author(s) | Title | Issue Date | Appears in | Rank |
---|---|---|---|---|
Ghilezan, Silvia ; Jakšić, Svetlana; Pantović, Jovanka; Pérez, Jorge; Vieira, Hugo Torres | A typed model for dynamic authorizations | 10-Feb-2016 | Electronic Proceedings in Theoretical Computer Science, EPTCS; 8th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2015; London; United Kingdom; 18 April 2015; 203; 73-84 |