3 papers
cs.CL2026
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…
cs.LO2026
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…
cs.LO2025
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},…