The following pages link to (Q4353628):
Displaying 4 items.
- Formal communication elimination and sequentialization equivalence proofs for distributed system models (Q466919) (← links)
- On using temporal logic for refinement and compositional verification of concurrent systems (Q674008) (← links)
- On verification of refinements of timed distributed algorithms (Q2753701) (← links)
- Automating the refinement of specifications for distributed systems via syntactic transformations (Q4392352) (← links)