The following pages link to Refinement of fair action systems (Q1386406):
Displaying 9 items.
- Formal communication elimination and sequentialization equivalence proofs for distributed system models (Q466919) (← links)
- Compositional action system refinement (Q706509) (← links)
- Stepwise refinement of parallel algorithms (Q918204) (← links)
- Program refinement in fair transition systems (Q1323314) (← links)
- Stepwise refinement of communicating systems (Q1924630) (← links)
- Generating non-conspiratorial executions (Q2379964) (← links)
- The refinement calculus of reactive systems (Q2672236) (← links)
- Action systems in incremental and aspect-oriented modeling (Q5138491) (← links)
- An Algebraic Approach to Refinement with Fair Choice (Q5403463) (← links)