APA (7th ed.) Citation

Kojima, M., Nishida, N., & Matsubara, Y. (2025). Transforming concurrent programs with semaphores into logically constrained term rewrite systems. Journal of logical and algebraic methods in programming, 143, 101033. https://doi.org/10.1016/j.jlamp.2024.101033

Chicago Style (17th ed.) Citation

Kojima, Misaki, Naoki Nishida, and Yutaka Matsubara. "Transforming Concurrent Programs with Semaphores into Logically Constrained Term Rewrite Systems." Journal of Logical and Algebraic Methods in Programming 143 (2025): 101033. https://doi.org/10.1016/j.jlamp.2024.101033.

MLA (9th ed.) Citation

Kojima, Misaki, et al. "Transforming Concurrent Programs with Semaphores into Logically Constrained Term Rewrite Systems." Journal of Logical and Algebraic Methods in Programming, vol. 143, 2025, p. 101033, https://doi.org/10.1016/j.jlamp.2024.101033.