A new component-based real-time system based on timed high-order(THO) π calculus

Tao You, Chenglie Du, Xiaowei Wang, Wei Zheng

Research output: Contribution to journalArticlepeer-review

5 Scopus citations

Fingerprint

Dive into the research topics of 'A new component-based real-time system based on timed high-order(THO) π calculus'. Together they form a unique fingerprint.

Computer Science