Meng Sun

Meng Sun

Professor, School of Mathematical Science, Peking University
Verified email at math.pku.edu.cn
Cited by 1497
software theory formal methods coordination models and languages coalgebra theory