Loading...
The system can't perform the operation now. Try again later.
Articles
Case law
Profiles
My profile
My library
Metrics
Alerts
Settings
Get journal articles
Get journal articles
Profiles
My profile
My library
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
Privacy
Terms
Help
About Scholar
Search help