User:XudongGuan~enwiki

My Interest
zh:User:XudongGuan
 * Category theory: universal property initial object morphism
 * Concurrency semantics:process calculi and process algebra