ESPOSITO, A., ALDINI, A., BERNARDO, M., & ROSSI, S. (2025). NONINTERFERENCE ANALYSIS OF REVERSIBLE SYSTEMS: AN APPROACH BASED ON BRANCHING BISIMILARITY. Logical Methods in Computer Science (LMCS), 21(1), 1. https://doi.org/10.46298/LMCS-21(16)2025
Chicago Style (17th ed.) CitationESPOSITO, ANDREA, ALESSANDRO ALDINI, MARCO BERNARDO, and SABINA ROSSI. "NONINTERFERENCE ANALYSIS OF REVERSIBLE SYSTEMS: AN APPROACH BASED ON BRANCHING BISIMILARITY." Logical Methods in Computer Science (LMCS) 21, no. 1 (2025): 1. https://doi.org/10.46298/LMCS-21(16)2025.
MLA (9th ed.) CitationESPOSITO, ANDREA, et al. "NONINTERFERENCE ANALYSIS OF REVERSIBLE SYSTEMS: AN APPROACH BASED ON BRANCHING BISIMILARITY." Logical Methods in Computer Science (LMCS), vol. 21, no. 1, 2025, p. 1, https://doi.org/10.46298/LMCS-21(16)2025.