Pages that link to "Item:Q652158"
From MaRDI portal
The following pages link to Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language (Q652158):
Displaying 9 items.
- Developments in concurrent Kleene algebra (Q299202) (← links)
- A UTP approach for rTiMo (Q1624596) (← links)
- A UTP semantics for communicating processes with shared variables and its formal encoding in PVS (Q1798665) (← links)
- A process calculus BigrTiMo of mobile systems and its formal semantics (Q2026376) (← links)
- Trace semantics and algebraic laws for MCA ARMv8 architecture based on UTP (Q2154026) (← links)
- A Relational Approach to an Algebraic Community: From Paul Erdős to He Jifeng (Q2842626) (← links)
- Towards a Modeling Language for Cyber-Physical Systems (Q2842648) (← links)
- UTP Semantics for rTiMo (Q2971181) (← links)
- Denotational Semantics for a Probabilistic Timed Shared-Variable Language (Q3455653) (← links)
