Denotational Semantics for a Probabilistic Timed Shared-Variable Language

Huibiao Zhu, Jeff W. Sanders, Jifeng He, Shengchao Qin

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Fingerprint

    Dive into the research topics of 'Denotational Semantics for a Probabilistic Timed Shared-Variable Language'. Together they form a unique fingerprint.

    Engineering & Materials Science