PTSC

MaRDI QIDQ25606swMATHFDO

Official website http://link.springer.com/article/10.1007/s11334-009-0100-9

Described by source

• Denotational semantics for a probabilistic timed shared-variable language

Cited in

(6)

• TCOZ
• Maria
• A UTP semantics for communicating processes with shared variables and its formal encoding in PVS
• A process calculus BigrTiMo of mobile systems and its formal semantics
• Developments in concurrent Kleene algebra
• Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language

This page was built for software: PTSC