Pages that link to "Item:Q2748153"
From MaRDI portal
The following pages link to Structuring and verifying distributed algorithms (Q2748153):
Displaying 6 items.
- Kaisa Sere: in memoriam (Q736909) (← links)
- Verification of distributed programs using representative interleaving sequences (Q1200917) (← links)
- A principle for sequential reasoning about distributed algorithms (Q1346611) (← links)
- Formal Verification of Distributed Algorithms (Q2915172) (← links)
- Structured Derivation of Semi-Synchronous Algorithms (Q3095340) (← links)
- Modelling and verification of Distributed Algorithms (Q6162106) (← links)