Pages that link to "Item:Q2481207"
From MaRDI portal
The following pages link to Streamlining progress-based derivations of concurrent programs (Q2481207):
Displaying 6 items.
- Derivation of concurrent programs by stepwise scheduling of Event-B models (Q736912) (← links)
- Progress assumption in concurrent systems (Q1805398) (← links)
- Invariant-based reasoning about parameterized security protocols (Q2268473) (← links)
- Deriving Real-Time Action Systems Controllers from Multiscale System Specifications (Q2908563) (← links)
- (Q4791945) (← links)
- Abstract Semantic Diffing of Evolving Concurrent Programs (Q5233236) (← links)