Computation of Synchronic Distance in Marked S-net. - Lili Wang; Xianwen Fang; Dao-hao Liu (BIC-TA, 2013)