3 papers
cs.LO2026
Overview and Roadmap of Team Automata
Maurice H. ter Beek, Rolf Hennicker, José Proença +1
Team Automata is a formalism for interacting component-based systems proposed in 1997, whereby multiple sending and receiving actions from concurrent automata can synchronise. Duri…
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…