2 citations · 2 across the 1 of their papers we have counts for
1 paper
Gaogao Yan, Li Jiao, Yangjia Li +2
Hybrid Communicating Sequential Processes (HCSP) is a powerful formal modeling language for hybrid systems, which is an extension of CSP by introducing differential equations for m…