From the 1 of 2 linked papers with an AI index.
2 papers
cs.LO2026
Barbed Similarity for the -Calculus in Beluga: A Case Study in Coinductive Reasoning
Lea Trogni, Gabriele Cecilia, Alberto Momigliano
The paper formalizes strong barbed similarity for the pi‑calculus in the Beluga proof assistant, using coinductive and copattern‑based techniques to obtain concise proofs of behavi…
cs.LO2025
A Formalization of the Reversible Concurrent Calculus CCSKP in Beluga
Gabriele Cecilia
Reversible concurrent calculi are abstract models for concurrent systems in which any action can potentially be undone. Over the last few decades, different formalisms have been de…