Pages that link to "Item:Q3922145"
From MaRDI portal
The following pages link to Synthesis of Resource Invariants for Concurrent Programs (Q3922145):
Displaying 4 items.
- An approach to automating the verification of compact parallel coordination programs. I (Q1056221) (← links)
- A generalized deadlock predicate (Q1085972) (← links)
- A unified approach for studying the properties of transition systems (Q1161289) (← links)
- SPECIFICATION AND VERIFICATION OF CONURRENT SYSTEMS IN CESAR (Q3512442) (← links)
