2 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…
math.OC2026
A constructive approach to strengthen algebraic descriptions of function and operator classes
Anne Rubbens, Julien M. Hendrickx, Adrien Taylor
It is well known that functions (resp. operators) satisfying a property~ on a subset cannot necessarily be extended to a function (resp. operator) satisf…