APA (7th ed.) Citation

Mironov, A. M. (2025). A simple proof of the coincidence of observational and labeled equivalence of processes in applied pi-calculus.

Chicago Style (17th ed.) Citation

Mironov, Andrew M. A Simple Proof of the Coincidence of Observational and Labeled Equivalence of Processes in Applied Pi-calculus. 2025.

MLA (9th ed.) Citation

Mironov, Andrew M. A Simple Proof of the Coincidence of Observational and Labeled Equivalence of Processes in Applied Pi-calculus. 2025.

Warning: These citations may not always be 100% accurate.