2 papers
cs.LO2025
Analyzing Many Simulations of Hybrid Programs in Lince
Reydel Arrieta, José Proença, Patrick Meumeu Yomsi
Hybrid systems are increasingly used in critical applications such as medical devices, infrastructure systems, and autonomous vehicles. Lince is an academic tool for specifying and…
cs.DC2025
CoMPSeT: A Framework for Comparing Multiparty Session Types
Telmo Ribeiro, José Proença, Mário Florido
Concurrent systems are often complex and difficult to design. Choreographic languages, such as Multiparty Session Types (MPST), allow the description of global protocols of interac…