2022. Interval Specification for Actually Concurrent Logic. International Journal of Engineering and Science Research. 12, 2 (Apr. 2022), 1–11.