Pages that link to "Item:Q2182666"
From MaRDI portal
The following pages link to Translating between models of concurrency (Q2182666):
Displaying 7 items.
- Modelling concurrency with comtraces and generalized comtraces (Q651308) (← links)
- Reducing complex CSP models to traces via priority (Q1744391) (← links)
- A hierarchy of failures-based models: theory and application (Q1763727) (← links)
- Sound reasoning in \textit{tock}-CSP (Q2120813) (← links)
- (Q4027626) (← links)
- Translation of CCS into CSP, correct up to strong bisimulation (Q6045054) (← links)
- Philosophers May Dine - Definitively! (Q6487937) (← links)