Fingerprint
Dive 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
- Weight
- Alphabetically
Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language
Huibiao Zhu, Fan Yang, Jifeng He, Jonathan P. Bowen, Jeff W. Sanders, Shengchao Qin
Research output: Contribution to journal › Article › peer-review