George Ungureanu, Rodolfo Jordão, Ingo Sander. Exploiting Dataflow Models for Parallel Simulation of Discrete Timed Systems. In Forum for Specification and Design Languages, FDL 2020, Kiel, Germany, September 15-17, 2020. pages 1-4, IEEE, 2020. [doi]
Abstract is missing.