Denotational semantics for a probabilistic timed shared-variable language

DOI10.1007/978-3-642-35705-3_11MaRDI QIDQ3455653zbMATH OpenOpenAlexFDO

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

Publication date 11 December 2015

Published in Unifying Theories of Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-35705-3_11

Mathematics Subject Classification ID

Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language
• Non-determinism and Probabilities in Timed Concurrent Constraint Programming
• Algebraic theory of probabilistic and nondeterministic processes.
• scientific article; zbMATH DE number 1324652
• Probabilistic concurrent constraint programming

Cites work

• Algebraic theory of probabilistic processes.
• Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language
• Partial correctness for probabilistic demonic programs
• Probabilistic models for the guarded command language

Cited in

(3)

• A process calculus BigrTiMo of mobile systems and its formal semantics
• PTSC
• Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language

This page was built for publication: Denotational semantics for a probabilistic timed shared-variable language

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3455653)