Bisimulation Proof Methods in a Path-Based Specification Language for Polynomial Coalgebras.

Xiaocong Zhou, Yongji Li, Wenjun Li, Hai-Yan Qiao, Zhongmei Shu

Browse the full APLAS paper archive.