Synchronous Deterministic Parallel Programming for Multi-Cores with ForeC. - YIP, EUGENE; GIRAULT, ALAIN; ROOP, PARTHA S.; BIGLARI-ABHARI, MORTEZA (ACM Transactions on Programming Languages & Systems, 2023)