Mira Mezini

Latest

• Comprehensive Multiparty Session Types
• Comprehensive Multiparty Session Types
• GRASS: Generic Reactive Application-specific Scheduling
• Cooperative Decoupled Processes
• Versatile Event Correlation with Algebraic Effects