7 citations · 8 across the 6 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.LO2023
A Logical Interpretation of Asynchronous Multiparty Compatibility
Marco Carbone, Sonia Marin, Carsten Schürmann
Session types are types for specifying the protocols that communicating processes must follow in a concurrent system. When composing two or more well-typed processes, a session typ…
cs.LO2023★ 7 cited
Intuitionistic S4 is decidable
Marianna Girlando, Roman Kuznets, Sonia Marin +2
In this paper we demonstrate decidability for the intuitionistic modal logic S4 first formulated by Fischer Servi. This solves a problem that has been open for almost thirty years…