4 papers
On Weak Bisimilarities in CCSK
Baptiste Vallée, Ivan Lanese
In the context of CCSK, a reversible extension of CCS, we study different notions of bisimilarity (strong/weak, forward-only/reversible) and highlight their differences and commona…
On the Encodability of Reversible Process Calculi
Ivan Lanese, Claudio Antares Mezzina, Iain Phillips +2
Reversibility, allowing one to execute a program not only forwards as usual, but also backwards, has emerged as a fundamental concept in computing, with applications ranging from d…
Decidable Reversible Equivalences for Finite Petri Nets
Roberto Gorrieri, Ivan Lanese
In the setting of Petri nets, we prove that {\em causal-net bisimilarity} \cite{G15,Gor22,Gor25a}, which is a refinement of history-preserving bisimilarity \cite{RT88,vGG89,DDM89},…
Towards Quantum Multiparty Session Types
Ivan Lanese, Ugo Dal Lago, Vikraman Choudhury
Multiparty Session Types (MPSTs) offer a structured way of specifying communication protocols and guarantee relevant communication properties, such as deadlock-freedom. In this pap…