The following pages link to PTSC (Q25606):
Displayed 4 items.
- Developments in concurrent Kleene algebra (Q299202) (← links)
- Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language (Q652158) (← 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)