Pages that link to "Item:Q5930074"
From MaRDI portal
The following pages link to Data refinement of remote procedures (Q5930074):
Displaying 9 items.
- Compositional action system refinement (Q706509) (← links)
- Kaisa Sere: in memoriam (Q736909) (← links)
- Sequential to parallel buffer refinement (Q1201301) (← links)
- Procedures and atomicity refinement (Q1350927) (← links)
- Refinement of fair action systems (Q1386406) (← links)
- Verification and refinement with fine-grained action-based concurrent objects (Q1770367) (← links)
- Stepwise refinement of communicating systems (Q1924630) (← links)
- Atomic actions, and their refinements to isolated protocols (Q2268472) (← links)
- Action refinement. (Q2760253) (← links)