Bernardo, M., Esposito, A., & Mezzina, C. A. (2025). Hereditary History-Preserving Bisimilarity: Characterizations via Backward Ready Multisets.
Chicago Style (17th ed.) CitationBernardo, Marco, Andrea Esposito, and Claudio A. Mezzina. Hereditary History-Preserving Bisimilarity: Characterizations via Backward Ready Multisets. 2025.
MLA (9th ed.) CitationBernardo, Marco, et al. Hereditary History-Preserving Bisimilarity: Characterizations via Backward Ready Multisets. 2025.
Warning: These citations may not always be 100% accurate.