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-Zitierstil (17. Ausg.)Kojima, Misaki, Naoki Nishida, und 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-Zitierstil (9. Ausg.)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.