Mironov, A. M. (2025). A simple proof of the coincidence of observational and labeled equivalence of processes in applied pi-calculus.
Citazione stile Chigago Style (17a edizione)Mironov, Andrew M. A Simple Proof of the Coincidence of Observational and Labeled Equivalence of Processes in Applied Pi-calculus. 2025.
Citatione MLA (9a ed.)Mironov, Andrew M. A Simple Proof of the Coincidence of Observational and Labeled Equivalence of Processes in Applied Pi-calculus. 2025.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.