Pages that link to "Item:Q1910618"
From MaRDI portal
The following pages link to Distributed algorithms for static and dynamic termination detection (Q1910618):
Displaying 8 items.
- Application of three-valued logic for distributed termination detection (Q1207442) (← links)
- Distributed termination detection for dynamic systems (Q1392074) (← links)
- Termination detection in data-driven parallel computations/applications. (Q1402122) (← links)
- The doomsday distributed termination detection protocol (Q1954217) (← links)
- (Q3730007) (← links)
- (Q3731023) (← links)
- Correctness proofs of distributed termination algorithms (Q3735060) (← links)
- An efficient parallel termination detection algorithm (Q5481723) (← links)