Bisimulation proof methods in a path-based specification language for polynomial coalgebras

Xiao-cong Zhou, Yong-Ji Li, Wen-jun Li, Hai-yan Qiao, Zhong-mei Shu. Bisimulation proof methods in a path-based specification language for polynomial coalgebras. Mathematical Structures in Computer Science, 25(4):765-804, 2015. [doi]

Abstract

Abstract is missing.