Yong-Ji Li

Publication Activity (10 Years)

Years Active: 2015-2015
Publications (10 Years): 0

Top Topics

Specification Language

General Purpose

Spectral Clustering

Top Venues

Math. Struct. Comput. Sci.

Publications

Xiaocong Zhou, Yong-Ji Li, Wen-Jun Li, Hai-Yan Qiao, Zhongmei Shu
Bisimulation proof methods in a path-based specification language for polynomial coalgebras. Math. Struct. Comput. Sci. 25 (4) (2015)