Cosimo Laneve

Joint Papers

• Time Complexity of Concurrent Programs - A Technique Based on Behavioural Types
• Engineering Virtualized Services