Pages that link to "Item:Q3814785"
From MaRDI portal
The following pages link to Distributed cooperation with action systems (Q3814785):
Displaying 24 items.
- Experiments in program verification using Event-B (Q432154) (← links)
- Emergence and refinement (Q432157) (← links)
- Formal communication elimination and sequentialization equivalence proofs for distributed system models (Q466919) (← links)
- Normal forms in total correctness for while programs and action systems (Q549683) (← links)
- Refinement patterns for ASTDs (Q736838) (← links)
- A distributed synchronization scheme for fair multi-process handshakes (Q910197) (← links)
- Algebraic reasoning for probabilistic action systems and while-loops (Q938297) (← links)
- Trace-based derivation of a scalable lock-free stack algorithm (Q1019022) (← links)
- Operational specification with joint actions: Serializable databases (Q1193603) (← links)
- On equivalence-completions of fairness assumptions (Q1205189) (← links)
- Some impossibility results in interprocess synchronization (Q1261111) (← links)
- Fairness and hyperfairness in multi-party interactions (Q1261113) (← links)
- Two decentralized algorithms for strong interaction fairness for systems with unbounded speed variability (Q1575646) (← links)
- Simulation relations for fault-tolerance (Q1688554) (← links)
- On fairness notions in distributed systems. I: A characterization of implementability (Q1854419) (← links)
- UNITY and Büchi automata (Q2026375) (← links)
- Generating non-conspiratorial executions (Q2379964) (← links)
- Deadlock-freedom in component systems with architectural constraints (Q2441719) (← links)
- Highly concurrent logically synchronous multicast (Q2638776) (← links)
- Set-Theoretic Models of Computations (Q2842623) (← links)
- Action systems in incremental and aspect-oriented modeling (Q5138491) (← links)
- Understanding, Explaining, and Deriving Refinement (Q5861785) (← links)
- Verifiable Code Generation from Scheduled Event-B Models (Q5881452) (← links)
- Ensuring completeness of symbolic verification methods for infinite-state systems (Q5941104) (← links)
