Interval Specification for Actually Concurrent Logic. IJESR [Internet]. 2022 Apr. 28 [cited 2025 Oct. 15];12(2):1-11. Available from: https://ijesr.org/index.php/ijesr/article/view/1090