Pages that link to "Item:Q1744391"
From MaRDI portal
The following pages link to Reducing complex CSP models to traces via priority (Q1744391):
Displaying 4 items.
- Sound reasoning in \textit{tock}-CSP (Q2120813) (← links)
- Translating between models of concurrency (Q2182666) (← links)
- Simplifying activity networks under generalized precedence relations to extended CPM networks (Q2829161) (← links)
- Communicating Sequential Processes. The First 25 Years (Q5709374) (← links)