Pradubsuwun, D. Verification of Concurrent Go Programs using Timed Trace Theory. J. Curr. Sci. Technol. 2025, 15, 94.