Clemente, L., et al.. Timed Basic Parallel Processes. Aug. 2019, doi:10.4230/lipics.concur.2019.15.