Pages that link to "Item:Q2942881"
From MaRDI portal
The following pages link to Verification of parameterized concurrent programs by modular reasoning about data and control (Q2942881):
Displaying 5 items.
- Lost in abstraction: monotonicity in multi-threaded programs (Q729809) (← links)
- A tree-based approach to data flow proofs (Q1629956) (← links)
- Verification of concurrent programs using Petri net unfoldings (Q2234071) (← links)
- Parametrized verification diagrams: temporal verification of symmetric parametrized concurrent systems (Q2408742) (← links)
- Compositional Reasoning (Q3176370) (← links)
