Pages that link to "Item:Q1982650"
From MaRDI portal
The following pages link to Denotational semantics of channel mobility in UTP-CSP (Q1982650):
Displaying 4 items.
- Angelic processes for CSP via the UTP (Q1757156) (← links)
- Translation of CCS into CSP, correct up to strong bisimulation (Q6045054) (← links)
- Semantics of dynamic hiding in mobile UTP-CSP (Q6093580) (← links)
- A Coq implementation of the program algebra in Jifeng He's new roadmap for linking theories of programming (Q6535845) (← links)