Pages that link to "Item:Q2828285"
From MaRDI portal
The following pages link to PSync: a partially synchronous language for fault-tolerant distributed algorithms (Q2828285):
Displaying 11 items.
- Cardinality constraints for arrays (decidability results and applications) (Q1688541) (← links)
- \(\text{Para}^2\): parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms (Q1696580) (← links)
- A modular framework for verifying versatile distributed systems (Q2011199) (← links)
- (Q5009435) (← links)
- Protocol combinators for modeling, testing, and execution of distributed systems (Q5018776) (← links)
- Derivation of Heard-of Predicates from Elementary Behavioral Patterns (Q5041279) (← links)
- Characterizing Consensus in the Heard-Of Model (Q5089273) (← links)
- (Q5091092) (← links)
- (Q5155689) (← links)
- Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker (Q5883751) (← links)
- Quorum tree abstractions of consensus protocols (Q6535243) (← links)
