Xutao Du Chunxiao Xing Lizhu Zhou Comparing Process Behaviors with Finite Chu Spaces. 1321-1324 2011 94-D IEICE Trans. Inf. Syst. 6 https://doi.org/10.1587/transinf.E94.D.1321 http://search.ieice.org/bin/summary.php?id=e94-d_6_1321 db/journals/ieicet/ieicet94d.html#DuXZ11