PTSC

swMATH13692MaRDI QIDQ25606FDOQ25606

Author name not available (Why is that?)

Described by source

• Denotational Semantics for a Probabilistic Timed Shared-Variable Language

Cited In (4)

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

This page was built for software: PTSC