Elena Giachino

Joint Papers

• Behavioral Types in Programming Languages
• Time Complexity of Concurrent Programs - A Technique Based on Behavioural Types