Interval Specification for Actually Concurrent Logic. IJESR 2022, 12 (2), 1-11.