Trace Semantics for IPDL. - Fengkui Ju; Nana Cui; Shujiao Li (LORI, 2015)