Pages that link to "Item:Q1798665"
From MaRDI portal
The following pages link to A UTP semantics for communicating processes with shared variables and its formal encoding in PVS (Q1798665):
Displaying 5 items.
- A UTP approach for rTiMo (Q1624596) (← links)
- Angelic processes for CSP via the UTP (Q1757156) (← links)
- A process calculus BigrTiMo of mobile systems and its formal semantics (Q2026376) (← links)
- Theoretical and practical approaches to the denotational semantics for MDESL based on UTP (Q2198135) (← links)
- An algebraic approach to simulation and verification for cyber-physical systems with shared-variable concurrency (Q6561342) (← links)
