Elena Giachino

Latest

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