The following pages link to Synchronizing the asynchronous (Q5009435):
Displaying 16 items.
- Ghost signals: verifying termination of busy waiting (Q832247) (← links)
- Synchronization (Q948067) (← links)
- Guessing the buffer bound for k-synchronizability (Q2117668) (← links)
- Verifying the correctness of distributed systems via mergeable parallelism (Q2154028) (← links)
- On the \(k\)-synchronizability of systems (Q2200819) (← links)
- Eliminating message counters in synchronous threshold automata (Q2234072) (← links)
- A reduction theorem for randomized distributed algorithms under weak adversaries (Q2234073) (← links)
- A reduction semantics for direct-style asynchronous observables (Q2423763) (← links)
- Analysis of Asynchronous Programs with Event-Based Synchronization (Q2802452) (← links)
- Asynchronous exclusive selection (Q2934360) (← links)
- Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency (Q2988639) (← links)
- Synchronizing Moore and Spiegel (Q4936412) (← links)
- Synchronizability of communicating finite state machines is not decidable (Q5111454) (← links)
- Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker (Q5883751) (← links)
- Guessing the Buffer Bound for k-Synchronizability (Q6070755) (← links)
- Synchronizing the consistency relation (Q6175045) (← links)