Cited in
(6)- A UTP semantics for communicating processes with shared variables and its formal encoding in PVS
- Developments in concurrent Kleene algebra
- Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language
- A process calculus BigrTiMo of mobile systems and its formal semantics
- TCOZ
- Maria
This page was built for software: PTSC