Pierre Genevès

Two models can achieve the same accuracy but differ dramatically in logical compliance, revealing a critical oversight in standard evaluation practices.

Guaranteeing communication safety in highly-concurrent web applications just got easier: this work introduces a global-type framework that extends Multiparty Session Types with explicit failure semantics and dynamic participation.