Pages that link to "Item:Q1242445"
From MaRDI portal
The following pages link to A proof method for cyclic programs (Q1242445):
Displaying 4 items.
- P-A logic - a compositional proof system for distributed programs (Q757079) (← links)
- The temporal semantics of concurrent programs (Q1143164) (← links)
- Formal derivation of strongly correct concurrent programs (Q1251066) (← links)
- ASSUME-GUARANTEE REASONING WITH LOCAL SPECIFICATIONS (Q2856015) (← links)
