Pages that link to "Item:Q2827467"
From MaRDI portal
The following pages link to Enforcing Availability in Failure-Aware Communicating Systems (Q2827467):
Displaying 6 items.
- A calculus of quality for robustness against unreliable communication (Q492911) (← links)
- A core model for choreographic programming (Q2007727) (← links)
- A coordination protocol language for power grid operation control (Q2011215) (← links)
- Certifying choreography compilation (Q2119966) (← links)
- (Q3680258) (← links)
- A formal theory of choreographic programming (Q6161233) (← links)