LOApr 8
A simple proof of the coincidence of observational and labeled equivalence of processes in applied pi-calculus
arXiv:2510.0725826.2
AI Analysis
This work addresses a foundational issue in formal methods for security analysis, but it is incremental as it simplifies an existing proof.
The paper tackled the problem of proving the coincidence of observational and labeled equivalence in applied pi-calculus, resulting in a new and simpler proof of this theorem.
This paper presents a new, significantly simpler proof of one of the main results of applied pi-calculus: the theorem that the concepts of observational and labeled equivalence of extended processes in applied pi-calculus coincide.