FingerprintDive into the research topics of 'Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language'. Together they form a unique fingerprint.
- Sort by
Huibiao Zhu, Fan Yang, Jifeng He, Jonathan P. Bowen, Jeff W. Sanders, Shengchao Qin
Research output: Contribution to journal › Article › peer-review