Pages that link to "Item:Q3664420"
From MaRDI portal
The following pages link to A general-purpose algorithm for analyzing concurrent programs (Q3664420):
Displayed 6 items.
- Complexity measures for concurrent programs based on information- theoretic metrics (Q1210320) (← links)
- Formal timing analysis for distributed real-time programs (Q1329098) (← links)
- A minimal property for characterizing deadlock-free programs (Q1603421) (← links)
- Complexity analysis of propositional concurrent programs using domino tiling (Q3142002) (← links)
- Combining Model Checking and Testing (Q3176377) (← links)
- An algorithm for analyzing communicating processes (Q6116579) (← links)